| 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 |