isabelle: Changelog

paulson [Fri, 05 Jan 2001 10:17:19 +0100] rev 10783

fixed two proofs that were affected by the removal of obsolete rules

paulson [Fri, 05 Jan 2001 10:15:48 +0100] rev 10782

new examples by Sidi Ehmety

wenzelm [Thu, 04 Jan 2001 19:41:13 +0100] rev 10781

tuned comment;

wenzelm [Thu, 04 Jan 2001 19:39:53 +0100] rev 10780

renamed .sml files to .ML;

nipkow [Thu, 04 Jan 2001 18:13:27 +0100] rev 10779

label!

paulson [Thu, 04 Jan 2001 10:23:01 +0100] rev 10778

more tidying, especially to remove real_of_posnat

paulson [Thu, 04 Jan 2001 10:22:33 +0100] rev 10777

initial material on the Reals

wenzelm [Wed, 03 Jan 2001 21:27:15 +0100] rev 10776

updated;

wenzelm [Wed, 03 Jan 2001 21:25:23 +0100] rev 10775

added recdef_tc(_i);

wenzelm [Wed, 03 Jan 2001 21:24:29 +0100] rev 10774

recdef_tc;

isabelle