| Sun, 20 Dec 2015 13:56:02 +0100 |
wenzelm |
tuned whitespace;
|
file |
diff |
annotate
|
| Mon, 02 Nov 2015 11:43:02 +0100 |
wenzelm |
tuned document;
|
file |
diff |
annotate
|
| Mon, 02 Nov 2015 11:10:28 +0100 |
wenzelm |
isabelle update_cartouches -t;
|
file |
diff |
annotate
|
| Mon, 19 Oct 2015 17:45:36 +0200 |
wenzelm |
tuned document;
|
file |
diff |
annotate
|
| Tue, 06 Oct 2015 15:14:28 +0200 |
wenzelm |
fewer aliases for toplevel theorem statements;
|
file |
diff |
annotate
|
| Sun, 02 Nov 2014 18:21:45 +0100 |
wenzelm |
modernized header uniformly as section;
|
file |
diff |
annotate
|
| Tue, 21 Oct 2014 11:13:16 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Tue, 21 Oct 2014 10:58:19 +0200 |
wenzelm |
update_cartouches;
|
file |
diff |
annotate
|
| Fri, 04 Jul 2014 20:18:47 +0200 |
haftmann |
reduced name variants for assoc and commute on plus and mult
|
file |
diff |
annotate
|
| Thu, 16 Jan 2014 16:33:19 +0100 |
blanchet |
moved 'Zorn' into 'Main', since it's a BNF dependency
|
file |
diff |
annotate
|
| Fri, 01 Nov 2013 18:51:14 +0100 |
haftmann |
more simplification rules on unary and binary minus
|
file |
diff |
annotate
|
| Sun, 11 Mar 2012 13:39:16 +0100 |
wenzelm |
modernized locale expression, with some fluctuation of arguments;
|
file |
diff |
annotate
|
| Sun, 11 Sep 2011 22:55:26 +0200 |
wenzelm |
misc tuning and clarification;
|
file |
diff |
annotate
|
| Wed, 29 Dec 2010 17:34:41 +0100 |
wenzelm |
explicit file specifications -- avoid secondary load path;
|
file |
diff |
annotate
|
| Mon, 19 Jul 2010 16:09:44 +0200 |
haftmann |
diff_minus subsumes diff_def
|
file |
diff |
annotate
|
| Sun, 09 May 2010 22:51:11 -0700 |
huffman |
avoid using real-specific versions of generic lemmas
|
file |
diff |
annotate
|
| Wed, 24 Jun 2009 21:46:54 +0200 |
wenzelm |
standard naming conventions for session and theories;
|
file |
diff |
annotate
| base
|