isabelle: Changelog

wenzelm [Wed, 08 Oct 1997 11:50:33 +0200] rev 3807

A formalization of TLA in HOL -- by Stephan Merz;

wenzelm [Tue, 07 Oct 1997 18:02:42 +0200] rev 3806

improved types of add_XXX funs (xtyp etc.);

wenzelm [Tue, 07 Oct 1997 18:02:02 +0200] rev 3805

improved types of add_XXX funs (xtyp etc.); tuned comments; tuned msgs; improved merge: no longer raises ERROR, but TERM;

wenzelm [Tue, 07 Oct 1997 17:58:50 +0200] rev 3804

tuned decode;

wenzelm [Tue, 07 Oct 1997 17:58:01 +0200] rev 3803

tuned internal mapping table; improved merge: 2nd overrides 1st;

wenzelm [Tue, 07 Oct 1997 17:08:48 +0200] rev 3802

tuned;

wenzelm [Tue, 07 Oct 1997 17:06:05 +0200] rev 3801

tuned warning msg;

wenzelm [Tue, 07 Oct 1997 12:37:53 +0200] rev 3800

tuned;

wenzelm [Tue, 07 Oct 1997 12:29:34 +0200] rev 3799

The Isabelle Logo;

wenzelm [Mon, 06 Oct 1997 20:00:31 +0200] rev 3798

fixed 'begin';

isabelle