isabelle: Changelog

wenzelm [Thu, 28 Sep 2000 14:34:49 +0200] rev 10099

tuned;

paulson [Thu, 28 Sep 2000 13:12:23 +0200] rev 10098

deleted card_0_empty_iff because it is the same as card_0_eq; renamed some variables

wenzelm [Wed, 27 Sep 2000 19:51:11 +0200] rev 10097

THIS_IS_ISABELLE_BUILD;

wenzelm [Wed, 27 Sep 2000 19:39:50 +0200] rev 10096

tuned;

wenzelm [Wed, 27 Sep 2000 19:37:32 +0200] rev 10095

tuned comment;

wenzelm [Wed, 27 Sep 2000 19:36:31 +0200] rev 10094

proper Hyperreal setup;

wenzelm [Wed, 27 Sep 2000 19:34:46 +0200] rev 10093

more symbolic syntax (currently "input");

paulson [Wed, 27 Sep 2000 11:20:30 +0200] rev 10092

exchanged the declaration of "seealso" and loading of "makeidx" because the latter redeclares this macro

wenzelm [Tue, 26 Sep 2000 18:27:50 +0200] rev 10091

tuned;

wenzelm [Tue, 26 Sep 2000 18:24:01 +0200] rev 10090

FAKE_BUILD="";

isabelle