2010-04-23 | wenzelm | mark schematic statements explicitly; | file | diff | annotate |
2009-07-23 | wenzelm | misc modernization: proper method setup instead of adhoc ML proofs; | file | diff | annotate |
2007-10-03 | wenzelm | avoid unnamed infixes; | file | diff | annotate |
2007-06-21 | wenzelm | tuned proofs -- avoid implicit prems; | file | diff | annotate |
2006-07-18 | wenzelm | removed obsolete ML files; | file | diff | annotate |
2005-09-17 | wenzelm | converted to Isar theory format; | file | diff | annotate |
1997-10-10 | wenzelm | fixed dots; | file | diff | annotate |
1996-02-05 | clasohm | expanded tabs | file | diff | annotate |
1993-09-16 | clasohm | Initial revision | file | diff | annotate |