isabelle: Changelog

paulson [Mon, 18 Nov 1996 16:27:34 +0100] rev 2191

Speedups involving norm

paulson [Mon, 18 Nov 1996 16:26:43 +0100] rev 2190

Introduction of structure Int

paulson [Mon, 18 Nov 1996 16:26:08 +0100] rev 2189

Updated and clearer(?) instructions

nipkow [Thu, 14 Nov 1996 16:01:36 +0100] rev 2188

Modified formal of thms in html file.

wenzelm [Thu, 14 Nov 1996 14:38:51 +0100] rev 2187

removed 'open Syntax Type';

wenzelm [Thu, 14 Nov 1996 14:32:01 +0100] rev 2186

removed silly message;

wenzelm [Thu, 14 Nov 1996 14:31:29 +0100] rev 2185

subsig tuning;

wenzelm [Wed, 13 Nov 1996 10:59:53 +0100] rev 2184

tuned subsig;

paulson [Wed, 13 Nov 1996 10:47:08 +0100] rev 2183

Updated version and date

paulson [Wed, 13 Nov 1996 10:42:50 +0100] rev 2182

Removal of polymorphic equality via mem, subset, eq_set, etc

isabelle