Thu, 13 Jul 2000 23:17:14 +0200 | wenzelm | eq_prop: strip_assums_concl; | changeset | files |
Thu, 13 Jul 2000 23:16:48 +0200 | wenzelm | tuned exceptions; | changeset | files |
Thu, 13 Jul 2000 23:16:13 +0200 | wenzelm | const_deps: unit Graph.T; | changeset | files |
Thu, 13 Jul 2000 23:15:20 +0200 | wenzelm | add_term_consts: ins_string; | changeset | files |
Thu, 13 Jul 2000 23:14:49 +0200 | wenzelm | add_defs(_i): overloaded option; | changeset | files |
Thu, 13 Jul 2000 23:14:15 +0200 | wenzelm | adapted PureThy.add_defs; | changeset | files |