Tue, 04 Dec 2001 17:59:36 +0100 | wenzelm | added Higher_Order_Logic.thy; | changeset | files |
Tue, 04 Dec 2001 14:26:22 +0100 | wenzelm | rules_tac: SELECT_GOAL!!; | changeset | files |
Tue, 04 Dec 2001 02:02:36 +0100 | wenzelm | disable markup of tracing output (tmp?); | changeset | files |
Tue, 04 Dec 2001 02:02:10 +0100 | wenzelm | \usepackage{textcomp}; | changeset | files |
Tue, 04 Dec 2001 02:01:49 +0100 | wenzelm | removed \newcommand{\isasymone}; | changeset | files |
Tue, 04 Dec 2001 02:01:31 +0100 | wenzelm | hyp_subst_tac'; | changeset | files |
Tue, 04 Dec 2001 02:01:13 +0100 | wenzelm | setup "rules" method; | changeset | files |