1997-02-07 nipkow [Fri, 07 Feb 1997 14:15:35 +0100] rev 2597
Modified proofs due to added triv_forall_equality.
TFL/examples/Subst/Unify.ML

1997-02-07 nipkow [Fri, 07 Feb 1997 14:13:58 +0100] rev 2596
Modified proofs because of added "triv_forall_equality".
src/HOL/Integ/Integ.ML src/HOL/W0/W.ML src/HOL/ex/LList.ML

1997-02-07 nipkow [Fri, 07 Feb 1997 14:13:20 +0100] rev 2595
Added "triv_forall_equality" to HOL_ss.
src/HOL/simpdata.ML

1997-02-06 wenzelm [Thu, 06 Feb 1997 18:40:39 +0100] rev 2594
functionality added to getsettings;
lib/scripts/getplatform

1997-02-06 wenzelm [Thu, 06 Feb 1997 18:40:23 +0100] rev 2593
removed getplatform, ISABELLE_OUTPUT_DIR;
lib/Tools/make

1997-02-06 wenzelm [Thu, 06 Feb 1997 18:33:50 +0100] rev 2592
removed getplatform, ISABELLE_OUTPUT_DIR;
lib/Tools/makeall

1997-02-06 wenzelm [Thu, 06 Feb 1997 18:31:27 +0100] rev 2591
removed getplatform;
bin/isabelle lib/Tools/findlogics

1997-02-06 wenzelm [Thu, 06 Feb 1997 18:27:47 +0100] rev 2590
integrated getplatform stuff;
added ISABELLE_OUTPUT_DIR;
lib/scripts/getsettings

1997-02-06 wenzelm [Thu, 06 Feb 1997 18:22:59 +0100] rev 2589
now falls back on ucat instead of cat;
lib/Tools/symbolinput

1997-02-06 wenzelm [Thu, 06 Feb 1997 18:22:21 +0100] rev 2588
improved usage msg;
lib/Tools/expandshort