1997-05-16 wenzelm [Fri, 16 May 1997 15:49:27 +0200] rev 3211
added \settdx;
doc-src/iman.sty

1997-05-16 mueller [Fri, 16 May 1997 15:29:41 +0200] rev 3210
Invoking Model Checkers in Isabelle/HOL;
src/HOL/Modelcheck/CTL.thy src/HOL/Modelcheck/Example.ML src/HOL/Modelcheck/Example.thy src/HOL/Modelcheck/MCSyn.ML src/HOL/Modelcheck/MCSyn.thy src/HOL/Modelcheck/MuCalculus.ML src/HOL/Modelcheck/MuCalculus.thy src/HOL/Modelcheck/README.html src/HOL/Modelcheck/ROOT.ML

1997-05-16 oheimb [Fri, 16 May 1997 13:02:28 +0200] rev 3209
renamed unsafe_addss to addss
src/HOL/Subst/Unify.ML

1997-05-16 paulson [Fri, 16 May 1997 10:43:44 +0200] rev 3208
Subst now moved to directory HOL
TFL/examples/Subst/AList.ML TFL/examples/Subst/AList.thy TFL/examples/Subst/NNF.ML TFL/examples/Subst/NNF.thy TFL/examples/Subst/README TFL/examples/Subst/ROOT.ML TFL/examples/Subst/ROOT1.ML TFL/examples/Subst/Setplus.ML TFL/examples/Subst/Setplus.thy TFL/examples/Subst/Subst.ML TFL/examples/Subst/Subst.thy TFL/examples/Subst/UTerm.ML TFL/examples/Subst/UTerm.thy TFL/examples/Subst/Unifier.ML TFL/examples/Subst/Unifier.thy TFL/examples/Subst/Unify.ML TFL/examples/Subst/Unify.thy TFL/examples/Subst/Unify1.ML TFL/examples/Subst/Unify1.thy TFL/post.sml

1997-05-15 oheimb [Thu, 15 May 1997 15:51:47 +0200] rev 3207
renamed unsafe_addss to addss
src/HOL/Auth/OtwayRees.ML src/HOL/Auth/OtwayRees_AN.ML src/HOL/Auth/OtwayRees_Bad.ML src/HOL/Auth/Public.ML src/HOL/Auth/ROOT.ML src/HOL/Auth/Recur.ML src/HOL/Auth/Shared.ML src/HOL/Induct/Comb.ML src/HOL/Lambda/ParRed.ML src/HOL/MiniML/W.ML src/HOL/W0/I.ML src/HOL/W0/Type.ML src/HOL/W0/W.ML src/ZF/Arith.ML src/ZF/Order.ML src/ZF/Perm.ML

1997-05-15 oheimb [Thu, 15 May 1997 15:51:09 +0200] rev 3206
renamed addss to addSss, unsafe_addss to addss, extended auto_tac
src/FOL/simpdata.ML src/HOL/simpdata.ML

1997-05-15 wenzelm [Thu, 15 May 1997 15:47:19 +0200] rev 3205
*** empty log message ***
NEWS

1997-05-15 oheimb [Thu, 15 May 1997 15:46:32 +0200] rev 3204
corrected depth_tac: no call for safe_step_tac if subgoal not present
src/Provers/classical.ML

1997-05-15 wenzelm [Thu, 15 May 1997 15:18:00 +0200] rev 3203
fixed bash path!!!
bin/isabelle

1997-05-15 wenzelm [Thu, 15 May 1997 14:59:46 +0200] rev 3202
SYNC;
doc-src/Ref/ref.ind