3 Commits

Author	SHA1	Message	Date
Toks	377b2990c9	fixes #1619	2013-06-22 17:26:32 -04:00
Toks	0f5fe4e7b6	fixes #1234	2013-05-02 22:25:44 -04:00
albert	bae1f39dcf	added alias and implication importer	2011-12-20 11:46:07 -05:00