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