isabelle: Changelog

lcp [Tue, 03 May 1994 16:55:47 +0200] rev 354

CTT/Arith.ML: replaced many rewrite_goals_tac calls by prove_goalw

lcp [Tue, 03 May 1994 15:14:54 +0200] rev 353

removal of obsolete type-declaration syntax

lcp [Tue, 03 May 1994 15:00:00 +0200] rev 352

removal of obsolete type-declaration syntax

lcp [Tue, 03 May 1994 11:28:51 +0200] rev 351

removal of obsolete type-declaration syntax

lcp [Tue, 03 May 1994 11:17:08 +0200] rev 350

post-CRC corrections

lcp [Tue, 03 May 1994 10:52:32 +0200] rev 349

post-CRC corrections

lcp [Tue, 03 May 1994 10:40:24 +0200] rev 348

post-CRC corrections

wenzelm [Mon, 02 May 1994 12:34:56 +0200] rev 347

changed translation of type applications according to new grammar;

lcp [Wed, 27 Apr 1994 11:27:33 +0200] rev 346

added many more filenames to FILES and EX_FILES

clasohm [Tue, 26 Apr 1994 14:48:41 +0200] rev 345

made a few cosmetic changes

isabelle