2010-05-17 | wenzelm | prefer structure Keyword, Parse, Parse_Spec, Outer_Syntax; | file | diff | annotate |
2010-03-07 | wenzelm | modernized structure Object_Logic; | file | diff | annotate |
2009-11-10 | wenzelm | eliminated some unused/obsolete Args.bang_facts; | file | diff | annotate |
2009-11-01 | wenzelm | modernized structure Context_Rules; | file | diff | annotate |
2009-10-21 | haftmann | dropped redundant gen_ prefix | file | diff | annotate |
2009-10-02 | wenzelm | eliminated dead code; | file | diff | annotate |
2009-05-30 | wenzelm | modernized method setup; | file | diff | annotate |
2009-03-13 | wenzelm | unified type Proof.method and pervasive METHOD combinators; | file | diff | annotate |
2009-02-28 | wenzelm | moved generic intuitionistic prover to src/Tools/intuitionistic.ML; | file | diff | annotate |