isabelle: Changelog

oheimb [Wed, 08 Aug 2001 12:36:48 +0200] rev 11476

changed to full expressions with side effects

wenzelm [Tue, 07 Aug 2001 22:42:22 +0200] rev 11475

tuned;

wenzelm [Tue, 07 Aug 2001 22:41:46 +0200] rev 11474

tuned;

wenzelm [Tue, 07 Aug 2001 22:37:30 +0200] rev 11473

fix problem with user translations by making field names appear as consts;

wenzelm [Tue, 07 Aug 2001 21:27:00 +0200] rev 11472

tuned;

berghofe [Tue, 07 Aug 2001 19:29:08 +0200] rev 11471

- Fixed bug in isomorphism proofs (caused by migration from SOME to THE) - Funs_rangeE now requires function g to be injective

berghofe [Tue, 07 Aug 2001 19:26:42 +0200] rev 11470

Eliminated dependency of Funs_rangeE on SOME.

oheimb [Tue, 07 Aug 2001 17:21:58 +0200] rev 11469

removed the warning from [iff]

paulson [Tue, 07 Aug 2001 16:36:52 +0200] rev 11468

Tweaks for 1 -> 1'

paulson [Mon, 06 Aug 2001 16:43:40 +0200] rev 11467

Converted 1 to 1'

isabelle