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