| Mon, 07 Jun 1999 22:16:56 +0200 | wenzelm | facts: bind named props (from proof.ML/let_thms); | changeset | files |
| Mon, 07 Jun 1999 21:22:18 +0200 | wenzelm | reset HOL_quantifiers by default; | changeset | files |
| Mon, 07 Jun 1999 19:25:12 +0200 | nipkow | Added lots of 'replicate' lemmas. | changeset | files |
| Sat, 05 Jun 1999 21:43:02 +0200 | wenzelm | groups as monoids; | changeset | files |
| Sat, 05 Jun 1999 21:38:30 +0200 | wenzelm | tuned comments; | changeset | files |
| Sat, 05 Jun 1999 20:37:29 +0200 | wenzelm | added Ord.order_antisym; | changeset | files |
| Sat, 05 Jun 1999 20:34:53 +0200 | wenzelm | auto_bind_goal, auto_bind_facts; | changeset | files |
| Sat, 05 Jun 1999 20:33:27 +0200 | wenzelm | auto_bind_goal, auto_bind_facts; | changeset | files |
| Sat, 05 Jun 1999 20:32:49 +0200 | wenzelm | added get_st; | changeset | files |
| Sat, 05 Jun 1999 20:32:10 +0200 | wenzelm | tuned; | changeset | files |
| Sat, 05 Jun 1999 20:30:29 +0200 | wenzelm | varifyT': observe additional 'fixed' tfrees; | changeset | files |
| Sat, 05 Jun 1999 20:29:07 +0200 | wenzelm | removed ObjectLogic.setup; | changeset | files |
| Sat, 05 Jun 1999 20:28:45 +0200 | wenzelm | proper calculation; | changeset | files |
| Sat, 05 Jun 1999 20:27:53 +0200 | wenzelm | renamed object_logic.ML to Isar/auto_bind.ML and tuned this module; | changeset | files |
| Fri, 04 Jun 1999 22:12:33 +0200 | wenzelm | fixed "...": dest_arg; | changeset | files |