Mon, 13 Aug 2007 18:10:22 +0200 | wenzelm | Lexicon.read_indexname/nat/variable; | file | diff | annotate |
Sun, 08 Jul 2007 19:52:05 +0200 | wenzelm | thm tag: Markup.property list; | file | diff | annotate |
Thu, 05 Jul 2007 00:06:23 +0200 | wenzelm | tuned goal conversion interfaces; | file | diff | annotate |
Tue, 03 Jul 2007 17:17:16 +0200 | wenzelm | replaced Conv.goals_conv by Conv.prems_conv; | file | diff | annotate |
Tue, 19 Jun 2007 23:15:27 +0200 | wenzelm | balanced conjunctions; | file | diff | annotate |
Thu, 10 May 2007 00:39:45 +0200 | wenzelm | moved conversions to structure Conv; | file | diff | annotate |
Tue, 03 Apr 2007 19:24:13 +0200 | wenzelm | renamed Variable.import to import_thms (avoid clash with Alice keywords); | file | diff | annotate |