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
|