isabelle: Changelog

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'

nipkow [Mon, 06 Aug 2001 15:54:29 +0200] rev 11466

1 -> 1'

paulson [Mon, 06 Aug 2001 15:46:20 +0200] rev 11465

Changed 1 to 1' (= Suc 0)

isabelle