Wed, 26 Jan 2000 21:10:27 +0100 'name' syntax includes numbers;
wenzelm [Wed, 26 Jan 2000 21:10:27 +0100] rev 8145
'name' syntax includes numbers;
Wed, 26 Jan 2000 11:04:38 +0100 optimized xs[i:=x]!j lemmas.
nipkow [Wed, 26 Jan 2000 11:04:38 +0100] rev 8144
optimized xs[i:=x]!j lemmas.
Tue, 25 Jan 2000 22:31:53 +0100 added map, map_st;
wenzelm [Tue, 25 Jan 2000 22:31:53 +0100] rev 8143
added map, map_st;
Tue, 25 Jan 2000 22:28:48 +0100 added map;
wenzelm [Tue, 25 Jan 2000 22:28:48 +0100] rev 8142
added map;
Tue, 25 Jan 2000 20:22:57 +0100 fallback on PureThy version;
wenzelm [Tue, 25 Jan 2000 20:22:57 +0100] rev 8141
fallback on PureThy version;
Tue, 25 Jan 2000 09:25:43 +0100 replaced f : A funcset B by f``A <= B.
nipkow [Tue, 25 Jan 2000 09:25:43 +0100] rev 8140
replaced f : A funcset B by f``A <= B.
Mon, 24 Jan 2000 14:48:11 +0100 reflexivity simp rules
kleing [Mon, 24 Jan 2000 14:48:11 +0100] rev 8139
reflexivity simp rules
Fri, 21 Jan 2000 10:45:40 +0100 new theorem inj_on_restrict_eq
paulson [Fri, 21 Jan 2000 10:45:40 +0100] rev 8138
new theorem inj_on_restrict_eq
Thu, 20 Jan 2000 17:57:59 +0100 removed Isar_examples/Minimal;
wenzelm [Thu, 20 Jan 2000 17:57:59 +0100] rev 8137
removed Isar_examples/Minimal;
Tue, 18 Jan 2000 11:33:31 +0100 fixed many bad line & page breaks
paulson [Tue, 18 Jan 2000 11:33:31 +0100] rev 8136
fixed many bad line & page breaks
(0) -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip