Wed, 21 Mar 2012 11:00:34 +0100 | wenzelm | prefer explicitly qualified exception List.Empty; | file | diff | annotate |
Fri, 16 Mar 2012 18:20:12 +0100 | wenzelm | outer syntax command definitions based on formal command_spec derived from theory header declarations; | file | diff | annotate |
Sun, 06 Nov 2011 21:51:46 +0100 | wenzelm | more explicit representation of rule_attribute vs. declaration_attribute vs. mixed_attribute; | file | diff | annotate |
Thu, 03 Nov 2011 22:51:37 +0100 | wenzelm | tuned signature; | file | diff | annotate |
Sun, 16 Oct 2011 18:48:30 +0200 | wenzelm | added Term.dummy_pattern conveniences; | file | diff | annotate |
Wed, 12 Oct 2011 22:21:38 +0200 | wenzelm | tuned signature; | file | diff | annotate |
Wed, 12 Oct 2011 21:39:33 +0200 | wenzelm | misc tuning and clarification; | file | diff | annotate |