isabelle: Changelog

clasohm [Mon, 29 Jan 1996 14:16:13 +0100] rev 1460

inserted tabs again

clasohm [Mon, 29 Jan 1996 13:58:15 +0100] rev 1459

expanded tabs

clasohm [Mon, 29 Jan 1996 13:56:41 +0100] rev 1458

removed tabs

clasohm [Mon, 29 Jan 1996 13:50:10 +0100] rev 1457

added facility to associate arbitrary data with theories

clasohm [Mon, 29 Jan 1996 13:49:17 +0100] rev 1456

added absolute_path

clasohm [Mon, 29 Jan 1996 13:48:37 +0100] rev 1455

changed the way simpsets and information about datatypes are stored

nipkow [Fri, 26 Jan 1996 20:25:39 +0100] rev 1454

Streamlined defs in Relation and added new intro/elim rules to do with pattern matching in sets: {(x,y). ...} and UN (x,y):A. ...

clasohm [Fri, 26 Jan 1996 13:43:36 +0100] rev 1453

extended warning regarding MAKE_HTML databases

clasohm [Fri, 26 Jan 1996 12:45:09 +0100] rev 1452

added warning for databases made with set MAKE_HTML

nipkow [Tue, 23 Jan 1996 14:25:55 +0100] rev 1451

Added vcwp

isabelle