1999-01-29 oheimb [Fri, 29 Jan 1999 17:10:26 +0100] rev 6164
moved print_mode to ROOT.ML
src/Pure/ROOT.ML src/Pure/Syntax/printer.ML

1999-01-29 paulson [Fri, 29 Jan 1999 17:08:20 +0100] rev 6163
expandshort
src/ZF/Arith.ML src/ZF/Epsilon.ML src/ZF/ex/Limit.ML src/ZF/ex/Primrec.ML src/ZF/upair.ML

1999-01-29 paulson [Fri, 29 Jan 1999 16:26:12 +0100] rev 6162
expandshort
src/HOL/AxClasses/Lattice/Lattice.ML src/HOL/AxClasses/Lattice/OrdDefs.ML src/HOL/Finite.ML src/HOL/Hoare/Examples.ML src/HOL/Hoare/Hoare.ML src/HOL/IMP/Natural.ML src/HOL/Induct/Multiset.ML src/HOL/Lex/RegExp2NA.ML src/HOL/Lex/RegSet.ML src/HOL/List.ML src/HOL/Quot/FRACT.ML src/HOL/Quot/HQUOT.ML src/HOL/Quot/PER.ML src/HOL/Real/Real.ML src/HOL/Trancl.ML

1999-01-29 paulson [Fri, 29 Jan 1999 16:23:56 +0100] rev 6161
tidied
src/HOL/UNITY/Lift.ML src/HOLCF/IOA/Storage/Correctness.ML src/HOLCF/IOA/meta_theory/Abstraction.ML src/HOLCF/IOA/meta_theory/Asig.ML src/HOLCF/IOA/meta_theory/Automata.ML src/HOLCF/IOA/meta_theory/CompoScheds.ML src/HOLCF/IOA/meta_theory/CompoTraces.ML src/HOLCF/IOA/meta_theory/Compositionality.ML src/HOLCF/IOA/meta_theory/Deadlock.ML src/HOLCF/IOA/meta_theory/LiveIOA.ML src/HOLCF/IOA/meta_theory/RefCorrectness.ML src/HOLCF/IOA/meta_theory/RefMappings.ML src/HOLCF/IOA/meta_theory/Seq.ML src/HOLCF/IOA/meta_theory/Sequence.ML src/HOLCF/IOA/meta_theory/ShortExecutions.ML src/HOLCF/IOA/meta_theory/SimCorrectness.ML src/HOLCF/IOA/meta_theory/TL.ML src/HOLCF/IOA/meta_theory/TLS.ML

1999-01-28 paulson [Thu, 28 Jan 1999 18:28:06 +0100] rev 6160
tidied
src/ZF/ex/Term.ML

1999-01-28 paulson [Thu, 28 Jan 1999 18:10:17 +0100] rev 6159
constdefs
src/ZF/ex/Term.thy

1999-01-28 paulson [Thu, 28 Jan 1999 10:21:45 +0100] rev 6158
tidying
src/ZF/ex/Limit.ML

1999-01-27 nipkow [Wed, 27 Jan 1999 17:11:39 +0100] rev 6157
arith_tac for min/max
NEWS src/HOL/Arith.ML src/HOL/Integ/Bin.ML src/HOL/Ord.ML

1999-01-27 wenzelm [Wed, 27 Jan 1999 17:11:12 +0100] rev 6156
*** empty log message ***
doc-src/ZF/logics-ZF.ind doc-src/ZF/logics-ZF.rao

1999-01-27 paulson [Wed, 27 Jan 1999 16:09:54 +0100] rev 6155
ZF typechecking
NEWS