Tue, 25 Jan 2000 22:31:53 +0100 | wenzelm | added map, map_st; | changeset | files |
Tue, 25 Jan 2000 22:28:48 +0100 | wenzelm | added map; | changeset | files |
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 |