1998-11-29 wenzelm [Sun, 29 Nov 1998 13:16:47 +0100] rev 5989
proof_general_trans (experimental);
src/Pure/Syntax/token_trans.ML

1998-11-29 wenzelm [Sun, 29 Nov 1998 13:15:50 +0100] rev 5988
replaced wakeup by decorate_prompt_fn;
src/Pure/Syntax/source.ML

1998-11-29 wenzelm [Sun, 29 Nov 1998 13:15:17 +0100] rev 5987
eliminated "Trying to recover ..." msg;
src/Pure/Syntax/scan.ML

1998-11-29 wenzelm [Sun, 29 Nov 1998 13:14:45 +0100] rev 5986
added oct_char;
src/Pure/term.ML

1998-11-29 wenzelm [Sun, 29 Nov 1998 13:13:57 +0100] rev 5985
method brute_force = ALLGOALS force_tac;
src/Provers/clasimp.ML

1998-11-27 nipkow [Fri, 27 Nov 1998 17:01:21 +0100] rev 5984
*** empty log message ***
src/HOLCF/Fix.ML

1998-11-27 nipkow [Fri, 27 Nov 1998 17:00:30 +0100] rev 5983
At last: linear arithmetic for nat!
src/HOL/Arith.ML src/HOL/Auth/Kerberos_BAN.ML src/HOL/Auth/Message.ML src/HOL/Divides.ML src/HOL/Hoare/Examples.ML src/HOL/Induct/Multiset.ML src/HOL/Integ/IntDef.ML src/HOL/IsaMakefile src/HOL/Lambda/Eta.ML src/HOL/Lambda/Lambda.ML src/HOL/Lex/RegSet_of_nat_DA.ML src/HOL/List.ML src/HOL/MiniML/Instance.ML src/HOL/MiniML/Type.ML src/HOL/Nat.ML src/HOL/NatDef.ML src/HOL/ROOT.ML src/HOL/UNITY/LessThan.ML src/HOL/UNITY/Mutex.ML src/HOL/arith_data.ML src/HOL/ex/Primrec.ML

1998-11-27 nipkow [Fri, 27 Nov 1998 16:54:59 +0100] rev 5982
Replaced the puny nat_transitive.ML by the general fast_lin_arith.ML.
src/Provers/Arith/fast_lin_arith.ML src/Provers/Arith/nat_transitive.ML

1998-11-27 paulson [Fri, 27 Nov 1998 16:46:01 +0100] rev 5981
fixed a link
src/HOL/Real/Hyperreal/README.html

1998-11-27 paulson [Fri, 27 Nov 1998 13:13:22 +0100] rev 5980
added Real/Hyperreal
src/HOL/IsaMakefile