isabelle: Changelog

oheimb [Thu, 27 Jan 2000 15:30:10 +0100] rev 8147

*** empty log message ***

wenzelm [Wed, 26 Jan 2000 21:12:40 +0100] rev 8146

'name' etc. include 'number'; attrib: include keyword_sid as name;

wenzelm [Wed, 26 Jan 2000 21:10:27 +0100] rev 8145

'name' syntax includes numbers;

nipkow [Wed, 26 Jan 2000 11:04:38 +0100] rev 8144

optimized xs[i:=x]!j lemmas.

wenzelm [Tue, 25 Jan 2000 22:31:53 +0100] rev 8143

added map, map_st;

wenzelm [Tue, 25 Jan 2000 22:28:48 +0100] rev 8142

added map;

wenzelm [Tue, 25 Jan 2000 20:22:57 +0100] rev 8141

fallback on PureThy version;

nipkow [Tue, 25 Jan 2000 09:25:43 +0100] rev 8140

replaced f : A funcset B by f``A <= B.

kleing [Mon, 24 Jan 2000 14:48:11 +0100] rev 8139

reflexivity simp rules

paulson [Fri, 21 Jan 2000 10:45:40 +0100] rev 8138

new theorem inj_on_restrict_eq

isabelle