isabelle: Changelog

wenzelm [Thu, 14 Jul 1994 11:39:25 +0200] rev 474

added functor signature constraint;

wenzelm [Thu, 14 Jul 1994 11:38:24 +0200] rev 473

minor internal renamings;

wenzelm [Thu, 14 Jul 1994 11:37:08 +0200] rev 472

changed syntax "(| _ : _ |)" to "OFCLASS(_, _)";

lcp [Wed, 13 Jul 1994 10:13:52 +0200] rev 471

indentation and renaming of rules

lcp [Tue, 12 Jul 1994 18:38:39 +0200] rev 470

minor updates

lcp [Tue, 12 Jul 1994 18:30:53 +0200] rev 469

chain_tac: deleted; just use etac mp

lcp [Tue, 12 Jul 1994 18:20:39 +0200] rev 468

Improved error checking

lcp [Tue, 12 Jul 1994 18:05:03 +0200] rev 467

new cardinal arithmetic developments

clasohm [Tue, 12 Jul 1994 14:26:04 +0200] rev 466

removed flatten_typ and replaced add_consts by add_consts_i

nipkow [Tue, 12 Jul 1994 12:49:15 +0200] rev 465

Corrected HOL.tex

isabelle