| Wed, 26 Jan 2000 21:10:27 +0100 | wenzelm | 'name' syntax includes numbers; | changeset | files |
| Wed, 26 Jan 2000 11:04:38 +0100 | nipkow | optimized xs[i:=x]!j lemmas. | changeset | files |
| 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 |
| 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 |
| Mon, 17 Jan 2000 15:49:55 +0100 | kleing | changes for the makepage script in Admin | changeset | files |
| Mon, 17 Jan 2000 15:49:32 +0100 | kleing | makes Isabelle main web pages | changeset | files |