isabelle: Changelog

wenzelm [Sat, 03 Nov 2001 01:39:17 +0100] rev 12028

replaced Undef by UU;

wenzelm [Sat, 03 Nov 2001 01:38:39 +0100] rev 12027

converted theory Lift;

wenzelm [Sat, 03 Nov 2001 01:38:11 +0100] rev 12026

rep_datatype lift; converted to new-style theory;

wenzelm [Sat, 03 Nov 2001 01:36:19 +0100] rev 12025

moved into Main;

wenzelm [Sat, 03 Nov 2001 01:35:11 +0100] rev 12024

moved String into Main;

wenzelm [Sat, 03 Nov 2001 01:33:54 +0100] rev 12023

tuned;

wenzelm [Sat, 03 Nov 2001 01:33:33 +0100] rev 12022

HOLCF: proper rep_datatype lift (see theory Lift); use plain induct_tac instead of lift.induct_tac, use UU instead of Undef in cases;

wenzelm [Fri, 02 Nov 2001 22:02:41 +0100] rev 12021

declare transitive;

wenzelm [Fri, 02 Nov 2001 22:01:58 +0100] rev 12020

theory Calculation move to Set;

wenzelm [Fri, 02 Nov 2001 22:01:07 +0100] rev 12019

transitive declared in Pure;

isabelle