| Tue, 19 Jul 2005 17:21:45 +0200 | wenzelm | tuned; | file | diff | annotate |
| Mon, 20 Jun 2005 22:14:05 +0200 | wenzelm | OrdList.inter; | file | diff | annotate |
| Sun, 22 May 2005 16:51:08 +0200 | wenzelm | major tuning; | file | diff | annotate |
| Thu, 03 Mar 2005 12:43:01 +0100 | skalberg | Move towards standard functions. | file | diff | annotate |
| Mon, 21 Jun 2004 10:25:57 +0200 | kleing | Merged in license change from Isabelle2004 | file | diff | annotate |
| Tue, 27 Aug 2002 17:25:44 +0200 | wenzelm | thms_containing: allow "_" in specification; | file | diff | annotate |
| Tue, 02 Jul 2002 17:00:05 +0200 | wenzelm | proper treatment of border cases; | file | diff | annotate |
| Tue, 02 Jul 2002 15:36:12 +0200 | wenzelm | Facts indexed by consts or (some) frees. | file | diff | annotate |