| Thu, 26 Jan 2012 21:16:11 +0100 | wenzelm | moved HEADGOAL; | file | diff | annotate |
| Fri, 06 Jan 2012 11:27:49 +0100 | wenzelm | proper refs; | file | diff | annotate |
| Sat, 19 Nov 2011 21:18:38 +0100 | wenzelm | added ML antiquotation @{attributes}; | file | diff | annotate |
| Tue, 08 Nov 2011 22:38:56 +0100 | wenzelm | updated functor Named_Thms; | file | diff | annotate |
| Sun, 05 Dec 2010 13:42:58 +0100 | wenzelm | prefer 'notepad' over 'example_proof'; | file | diff | annotate |
| Mon, 29 Nov 2010 11:27:39 +0100 | wenzelm | updated generated files; | file | diff | annotate |
| Mon, 08 Nov 2010 00:00:47 +0100 | wenzelm | updated generated files; | file | diff | annotate |