isabelle: Changelog

wenzelm [Fri, 23 Oct 1998 16:44:50 +0200] rev 5744

export is_ml_identifier;

berghofe [Fri, 23 Oct 1998 16:27:56 +0200] rev 5743

Updated to new datatype package.

narasche [Fri, 23 Oct 1998 16:11:01 +0200] rev 5742

ex/Points added

narasche [Fri, 23 Oct 1998 16:07:54 +0200] rev 5741

Example for records

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;

isabelle