| Wed, 01 Sep 1999 21:10:05 +0200 | wenzelm | fix: common constraints; | changeset | files |
| Wed, 01 Sep 1999 21:09:10 +0200 | wenzelm | added store/bind_thms; | changeset | files |
| Wed, 01 Sep 1999 21:06:57 +0200 | wenzelm | added theorems; | changeset | files |
| Wed, 01 Sep 1999 21:06:27 +0200 | wenzelm | added theorems; | changeset | files |
| Wed, 01 Sep 1999 21:05:48 +0200 | wenzelm | isar: avoid verbose goal responses; | changeset | files |
| Wed, 01 Sep 1999 21:05:19 +0200 | wenzelm | structure Termtab; | changeset | files |
| Wed, 01 Sep 1999 21:04:59 +0200 | wenzelm | smart_store_thms; | changeset | files |
| Wed, 01 Sep 1999 21:04:01 +0200 | wenzelm | PureThy.smart_store_thms; | changeset | files |
| Wed, 01 Sep 1999 11:16:02 +0200 | paulson | tidied some proofs | changeset | files |
| Wed, 01 Sep 1999 11:15:35 +0200 | paulson | tidied | changeset | files |
| Tue, 31 Aug 1999 16:04:43 +0200 | paulson | tidied | changeset | files |
| Tue, 31 Aug 1999 15:58:38 +0200 | paulson | new files HOL/UNITY/Guar.{thy,ML}: theory file gets the instance declaration | changeset | files |
| Tue, 31 Aug 1999 15:56:56 +0200 | paulson | changed "component" infix in HOL/UNITY/Comp.thy to be overloaded < | changeset | files |
| Mon, 30 Aug 1999 23:19:13 +0200 | wenzelm | proper calculation / induction; | changeset | files |