isabelle: Changelog

wenzelm [Wed, 20 Jan 1999 18:07:34 +0100] rev 6148

isabelle.in.tum.de;

wenzelm [Wed, 20 Jan 1999 17:59:19 +0100] rev 6147

http://isabelle.in.tum.de/dist/;

paulson [Wed, 20 Jan 1999 10:33:34 +0100] rev 6146

renamed variables for clarity

wenzelm [Wed, 20 Jan 1999 10:29:25 +0100] rev 6145

changed Minho mirror;

paulson [Tue, 19 Jan 1999 12:59:55 +0100] rev 6144

tidied freeness reasoning

paulson [Tue, 19 Jan 1999 12:56:27 +0100] rev 6143

freeness reasoning: T.free_iffs

wenzelm [Tue, 19 Jan 1999 11:46:18 +0100] rev 6142

tuned;

paulson [Tue, 19 Jan 1999 11:18:11 +0100] rev 6141

removal of the (thm list) argument of mk_cases

paulson [Tue, 19 Jan 1999 11:16:39 +0100] rev 6140

tidied; added dest_eq

paulson [Tue, 19 Jan 1999 11:16:07 +0100] rev 6139

simplified thanks to the arithmetic prover

isabelle