Mon, 26 Nov 2001 18:34:17 +0100 | wenzelm | moved lemmas to theory Hilbert_Choice; | file | diff | annotate |
Sun, 07 Jan 2001 21:41:56 +0100 | wenzelm | CHANGED_PROP; | file | diff | annotate |
Tue, 05 Sep 2000 21:06:01 +0200 | wenzelm | improved meson setup; | file | diff | annotate |
Tue, 05 Sep 2000 10:15:23 +0200 | paulson | meson.ML moved from HOL/ex to HOL/Tools: meson_tac installed by default | file | diff | annotate |