1998-10-01 paulson [Thu, 01 Oct 1998 18:18:01 +0200] rev 5588
Revised version with Abelian group simprocs
src/HOL/Real/PNat.ML src/HOL/Real/PReal.ML src/HOL/Real/RComplete.ML src/HOL/Real/ROOT.ML src/HOL/Real/Real.ML src/HOL/Real/Real.thy src/HOL/Real/RealAbs.ML src/HOL/Real/RealAbs.thy src/HOL/Real/RealDef.ML src/HOL/Real/RealDef.thy src/HOL/Real/simproc.ML

1998-09-29 wenzelm [Tue, 29 Sep 1998 18:13:05 +0200] rev 5587
handle empty name;
lib/Tools/logo

1998-09-29 paulson [Tue, 29 Sep 1998 16:06:04 +0200] rev 5586
auto update
doc-src/Ref/ref.ind

1998-09-29 paulson [Tue, 29 Sep 1998 15:59:43 +0200] rev 5585
new function inter_term
src/Pure/term.ML

1998-09-29 paulson [Tue, 29 Sep 1998 15:58:47 +0200] rev 5584
Now id:(Acts prg) is implicit
src/HOL/UNITY/Common.ML src/HOL/UNITY/Constrains.ML src/HOL/UNITY/Handshake.ML src/HOL/UNITY/Handshake.thy src/HOL/UNITY/Lift.thy src/HOL/UNITY/Mutex.thy src/HOL/UNITY/NSP_Bad.thy src/HOL/UNITY/Reach.thy src/HOL/UNITY/SubstAx.ML src/HOL/UNITY/Traces.ML src/HOL/UNITY/Traces.thy src/HOL/UNITY/Union.ML src/HOL/UNITY/Union.thy

1998-09-29 paulson [Tue, 29 Sep 1998 15:58:25 +0200] rev 5583
modified proof for new simproc
src/HOL/UNITY/Lift.ML

1998-09-29 paulson [Tue, 29 Sep 1998 15:57:42 +0200] rev 5582
many renamings and changes. Simproc for cancelling common terms in relations
src/HOL/Integ/Bin.ML src/HOL/Integ/Bin.thy src/HOL/Integ/Int.ML src/HOL/Integ/Int.thy src/HOL/Integ/IntDef.ML src/HOL/Integ/IntDef.thy src/HOL/Integ/simproc.ML

1998-09-29 nipkow [Tue, 29 Sep 1998 12:07:31 +0200] rev 5581
New keywords
doc-src/Tutorial/appendix.tex

1998-09-29 nipkow [Tue, 29 Sep 1998 12:01:12 +0200] rev 5580
Revised wf_acc_iff and Co.
src/HOL/Induct/Acc.ML

1998-09-29 nipkow [Tue, 29 Sep 1998 12:00:52 +0200] rev 5579
new: wfUNIVI
src/HOL/WF.ML