Wed, 19 May 2004 11:31:26 +0200 | has_consts now handles the @-operator | file | diff | annotate |
Fri, 14 May 2004 16:49:12 +0200 | clauses for ordinary resolution | file | diff | annotate |
Tue, 11 May 2004 10:48:00 +0200 | conversion to clauses for ordinary resolution rather than ME | file | diff | annotate |
Tue, 07 May 2002 14:26:32 +0200 | use eq_thm_prop instead of slightly inadequate eq_thm; | file | diff | annotate |
Mon, 26 Nov 2001 18:34:17 +0100 | moved lemmas to theory Hilbert_Choice; | file | diff | annotate |
Sun, 07 Jan 2001 21:41:56 +0100 | CHANGED_PROP; | file | diff | annotate |
Tue, 05 Sep 2000 21:06:01 +0200 | improved meson setup; | file | diff | annotate |
Tue, 05 Sep 2000 10:15:23 +0200 | meson.ML moved from HOL/ex to HOL/Tools: meson_tac installed by default | file | diff | annotate |