Fri, 21 Mar 2014 20:33:56 +0100 | wenzelm | more qualified names; | file | diff | annotate |
Wed, 19 Feb 2014 08:34:33 +0100 | blanchet | moved 'primrec' up (for real this time) and removed temporary 'old_primrec' | file | diff | annotate |
Mon, 17 Feb 2014 13:31:42 +0100 | blanchet | renamed old 'primrec' to 'old_primrec' (until the new 'primrec' can be moved above 'Nat' in the theory dependencies) | file | diff | annotate |
Sat, 14 Dec 2013 17:28:05 +0100 | wenzelm | proper context for basic Simplifier operations: rewrite_rule, rewrite_goals_rule, rewrite_goals_tac etc.; | 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 |
Fri, 16 Dec 2011 11:02:55 +0100 | wenzelm | tuned; | file | diff | annotate |
Fri, 16 Dec 2011 10:52:35 +0100 | wenzelm | clarified modules that contribute to datatype package; | file | diff | annotate | base |