isabelle: Changelog

nipkow [Wed, 09 May 2001 23:09:26 +0200] rev 11291

improved simproc trace IGNORED

paulson [Tue, 08 May 2001 16:01:36 +0200] rev 11290

fixed comment

paulson [Tue, 08 May 2001 16:01:28 +0200] rev 11289

new takeWhile lemma

paulson [Tue, 08 May 2001 15:57:13 +0200] rev 11288

fixed a slow proof; tidied

paulson [Tue, 08 May 2001 15:56:57 +0200] rev 11287

conversion of Auth/TLS to Isar script

oheimb [Mon, 07 May 2001 19:19:41 +0200] rev 11286

minor bugfix for AddIffs

nipkow [Fri, 04 May 2001 15:39:38 +0200] rev 11285

*** empty log message ***

Fri, 04 May 2001 15:38:48 +0200 made same_fst recdef_simp

nipkow [Fri, 04 May 2001 15:38:48 +0200] rev 11284

made same_fst recdef_simp

oheimb [Thu, 03 May 2001 18:22:36 +0200] rev 11283

improved EVERY'

nipkow [Thu, 03 May 2001 17:51:29 +0200] rev 11282

*** empty log message ***

isabelle