| Tue, 25 Jan 2000 20:22:57 +0100 | wenzelm | fallback on PureThy version; | changeset | files |
| Tue, 25 Jan 2000 09:25:43 +0100 | nipkow | replaced f : A funcset B by f``A <= B. | changeset | files |
| Mon, 24 Jan 2000 14:48:11 +0100 | kleing | reflexivity simp rules | changeset | files |
| Fri, 21 Jan 2000 10:45:40 +0100 | paulson | new theorem inj_on_restrict_eq | changeset | files |
| Thu, 20 Jan 2000 17:57:59 +0100 | wenzelm | removed Isar_examples/Minimal; | changeset | files |
| Tue, 18 Jan 2000 11:33:31 +0100 | paulson | fixed many bad line & page breaks | changeset | files |
| Tue, 18 Jan 2000 11:00:10 +0100 | paulson | Documented Thm.instantiate (not normalizing) and Drule.instantiate | changeset | files |