| Thu, 02 Feb 2012 16:07:25 +0100 |
wenzelm |
discontinued obscure history commands;
|
file |
diff |
annotate
|
| Tue, 03 May 2011 21:07:24 +0200 |
wenzelm |
updated generated files;
|
file |
diff |
annotate
|
| Tue, 03 May 2011 15:07:36 +0200 |
wenzelm |
formal Base theory;
|
file |
diff |
annotate
|
| Mon, 02 May 2011 01:05:50 +0200 |
wenzelm |
modernized rail diagrams using @{rail} antiquotation;
|
file |
diff |
annotate
|
| Sun, 23 Jan 2011 01:03:42 +0100 |
berghofe |
Documented unused_thms
|
file |
diff |
annotate
|
| Mon, 08 Nov 2010 00:00:47 +0100 |
wenzelm |
updated generated files;
|
file |
diff |
annotate
|
| Fri, 29 Oct 2010 11:49:56 +0200 |
wenzelm |
eliminated obsolete \_ escapes in rail environments;
|
file |
diff |
annotate
|
| Sun, 10 Oct 2010 20:12:10 +0100 |
wenzelm |
note on Isabelle file specifications;
|
file |
diff |
annotate
|
| Sun, 08 Nov 2009 14:38:36 +0100 |
wenzelm |
print_theorems: suppress concealed (global) facts, unless "!" option is given;
|
file |
diff |
annotate
|
| Sat, 28 Feb 2009 17:09:32 +0100 |
wenzelm |
updated generated files;
|
file |
diff |
annotate
|
| Fri, 13 Feb 2009 21:14:30 +1100 |
kleing |
typo
|
file |
diff |
annotate
|
| Fri, 13 Feb 2009 14:57:25 +1100 |
kleing |
find_consts: documentation. (by Timothy Bourke)
|
file |
diff |
annotate
|
| Fri, 13 Feb 2009 11:49:02 +1100 |
kleing |
FindTheorems solves: update documentation (by Timothy Bourke)
|
file |
diff |
annotate
|
| Thu, 13 Nov 2008 22:45:12 +0100 |
wenzelm |
updated generated files;
|
file |
diff |
annotate
|
| Tue, 15 Jul 2008 10:59:14 +0200 |
wenzelm |
removed command 'redo';
|
file |
diff |
annotate
|
| Tue, 03 Jun 2008 00:03:54 +0200 |
wenzelm |
updated generated file;
|
file |
diff |
annotate
|
| Mon, 02 Jun 2008 23:38:28 +0200 |
wenzelm |
updated generated file;
|
file |
diff |
annotate
|