isabelle: Changelog

Mercurial Mercurial > repos > isabelle / changelog

Tue, 09 Mar 1999 11:01:39 +0100 Added Bella's "Gets" model for Otway_Rees. Also affects some other theories.

changeset

paulson [Tue, 09 Mar 1999 11:01:39 +0100] rev 6308

Added Bella's "Gets" model for Otway_Rees. Also affects some other theories. Changing "spies" to "knows Spy", etc. Retaining the constant "spies" as a translation.

Mon, 08 Mar 1999 13:49:53 +0100 Suc -> +1

changeset

nipkow [Mon, 08 Mar 1999 13:49:53 +0100] rev 6307

Suc -> +1

Mon, 08 Mar 1999 13:49:14 +0100 modified zip

changeset

nipkow [Mon, 08 Mar 1999 13:49:14 +0100] rev 6306

modified zip

Fri, 05 Mar 1999 12:11:54 +0100 Fixed bug in add_datatype_axm:

changeset

berghofe [Fri, 05 Mar 1999 12:11:54 +0100] rev 6305

Fixed bug in add_datatype_axm: Recursion and case combinators were assigned inconsistent names in quick_and_dirty mode, which caused recdef etc. to crash.

Thu, 04 Mar 1999 14:23:51 +0100 fixed again;

changeset

wenzelm [Thu, 04 Mar 1999 14:23:51 +0100] rev 6304

fixed again;

Wed, 03 Mar 1999 11:27:10 +0100 expandshort

changeset

paulson [Wed, 03 Mar 1999 11:27:10 +0100] rev 6303

expandshort

Wed, 03 Mar 1999 11:26:36 +0100 added UNITY/Extend

changeset

paulson [Wed, 03 Mar 1999 11:26:36 +0100] rev 6302

added UNITY/Extend