| Mon, 17 May 2010 23:54:15 +0200 | wenzelm | prefer structure Keyword, Parse, Parse_Spec, Outer_Syntax; | file | diff | annotate |
| Sun, 07 Mar 2010 12:19:47 +0100 | wenzelm | modernized structure Object_Logic; | file | diff | annotate |
| Tue, 10 Nov 2009 18:11:23 +0100 | wenzelm | eliminated some unused/obsolete Args.bang_facts; | file | diff | annotate |
| Sun, 01 Nov 2009 15:44:26 +0100 | wenzelm | modernized structure Context_Rules; | file | diff | annotate |
| Wed, 21 Oct 2009 08:14:38 +0200 | haftmann | dropped redundant gen_ prefix | file | diff | annotate |
| Fri, 02 Oct 2009 22:15:08 +0200 | wenzelm | eliminated dead code; | file | diff | annotate |
| Sat, 30 May 2009 12:52:57 +0200 | wenzelm | modernized method setup; | file | diff | annotate |
| Fri, 13 Mar 2009 19:58:26 +0100 | wenzelm | unified type Proof.method and pervasive METHOD combinators; | file | diff | annotate |
| Sat, 28 Feb 2009 14:52:21 +0100 | wenzelm | moved generic intuitionistic prover to src/Tools/intuitionistic.ML; | file | diff | annotate |