| Sat, 15 Mar 2014 11:59:18 +0100 | wenzelm | tuned signature; | file | diff | annotate |
| Mon, 19 Sep 2011 23:34:22 +0200 | wenzelm | fixed headers; | file | diff | annotate |
| Mon, 08 Aug 2011 21:11:10 +0200 | wenzelm | modernized file proof_checker.ML; | file | diff | annotate | base |