| Sat, 13 Feb 2010 23:16:06 +0100 | wenzelm | authentic proof syntax; | file | diff | annotate |
| Mon, 02 Nov 2009 20:50:48 +0100 | wenzelm | modernized structure Proof_Syntax; | file | diff | annotate |
| Mon, 06 Jul 2009 19:58:52 +0200 | wenzelm | renamed inclass/Inclass to of_class/OfClass, in accordance to of_sort; | file | diff | annotate |