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
|
Mon, 25 Oct 2010 16:14:40 +0200 |
wenzelm |
misc tuning;
|
file |
diff |
annotate
|
Fri, 22 Oct 2010 20:57:33 +0100 |
wenzelm |
cumulative update of generated files (since bf164c153d10);
|
file |
diff |
annotate
|
Fri, 06 Mar 2009 11:28:07 +0100 |
wenzelm |
recovered generated files;
|
file |
diff |
annotate
|
Mon, 16 Feb 2009 21:39:52 +0100 |
wenzelm |
updated genereted files;
|
file |
diff |
annotate
|
Mon, 16 Feb 2009 20:49:39 +0100 |
wenzelm |
updated generated files;
|
file |
diff |
annotate
|
Mon, 16 Feb 2009 20:47:44 +0100 |
wenzelm |
observe usual theory naming conventions;
|
file |
diff |
annotate
| base
|