isabelle: Changelog

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

wenzelm [Thu, 20 Jan 2000 17:57:59 +0100] rev 8137

removed Isar_examples/Minimal;

paulson [Tue, 18 Jan 2000 11:33:31 +0100] rev 8136

fixed many bad line & page breaks

paulson [Tue, 18 Jan 2000 11:00:10 +0100] rev 8135

Documented Thm.instantiate (not normalizing) and Drule.instantiate (normalizing)

wenzelm [Mon, 17 Jan 2000 15:56:58 +0100] rev 8134

www;

kleing [Mon, 17 Jan 2000 15:51:37 +0100] rev 8133

Id line inserted

isabelle