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