isabelle: Changelog

berghofe [Fri, 23 Oct 1998 12:59:03 +0200] rev 5740

Directory Induct: Added new theory ABexp, removed obsolete theory Simult.

berghofe [Fri, 23 Oct 1998 12:57:44 +0200] rev 5739

Added new theory ABexp, removed obsolete theory Simult.

berghofe [Fri, 23 Oct 1998 12:56:13 +0200] rev 5738

Terms are now defined using the new datatype package.

berghofe [Fri, 23 Oct 1998 12:55:36 +0200] rev 5737

New example for using the datatype package: Arithmetic and boolean expressions.

berghofe [Fri, 23 Oct 1998 12:54:37 +0200] rev 5736

Removed obsolete theory Simult (see theory Term).

wenzelm [Fri, 23 Oct 1998 12:31:23 +0200] rev 5735

started to add records;

paulson [Fri, 23 Oct 1998 11:03:35 +0200] rev 5734

occurs check now handles Bound variables (for soundness)

wenzelm [Fri, 23 Oct 1998 10:38:20 +0200] rev 5733

updated by isatool logo;

wenzelm [Thu, 22 Oct 1998 20:15:26 +0200] rev 5732

tuned block indent;

wenzelm [Thu, 22 Oct 1998 20:13:21 +0200] rev 5731

current_goals_markers;

isabelle