| 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 |
| Mon, 17 Jan 2000 15:56:58 +0100 | wenzelm | www; | changeset | files |
| Mon, 17 Jan 2000 15:51:37 +0100 | kleing | Id line inserted | changeset | files |