2004-05-29 wenzelm [Sat, 29 May 2004 15:02:13 +0200] rev 14826
output channels and diagnostics moved to General/output.ML; added read_int etc. from term.ML; removed obsolete mtree; type rat uses exception RAT;
src/Pure/library.ML

2004-05-29 wenzelm [Sat, 29 May 2004 15:01:36 +0200] rev 14825
Output.timing;
src/Pure/Isar/toplevel.ML src/Pure/Thy/thy_info.ML src/Pure/goals.ML

2004-05-29 wenzelm [Sat, 29 May 2004 15:00:52 +0200] rev 14824
improved output;
src/Pure/axclass.ML src/Pure/drule.ML

2004-05-29 wenzelm [Sat, 29 May 2004 15:00:25 +0200] rev 14823
moved print_mode to General/output.ML; load General/pretty.ML early;
src/Pure/ROOT.ML

2004-05-29 wenzelm [Sat, 29 May 2004 15:00:14 +0200] rev 14822
added Pure/General/output.ML;
src/Pure/IsaMakefile

2004-05-29 wenzelm [Sat, 29 May 2004 14:59:57 +0200] rev 14821
avoid 'handle _' -- would cover Interrupt as well!!!
src/Provers/Arith/fast_lin_arith.ML

2004-05-29 wenzelm [Sat, 29 May 2004 14:59:24 +0200] rev 14820
Sign.infer_types: Sign.pp;
TFL/tfl.ML src/HOLCF/domain/theorems.ML

2004-05-29 wenzelm [Sat, 29 May 2004 14:58:44 +0200] rev 14819
Library.read_int;
src/HOL/Tools/typedef_package.ML src/Pure/Syntax/syn_ext.ML

2004-05-29 wenzelm [Sat, 29 May 2004 14:57:39 +0200] rev 14818
Output.output;
src/HOL/Import/hol4rews.ML src/HOL/Import/import_package.ML src/HOL/Import/proof_kernel.ML src/HOL/Import/shuffler.ML src/HOL/Modelcheck/MuCalculus.ML src/HOL/Modelcheck/mucke_oracle.ML src/HOL/Tools/refute.ML src/Pure/codegen.ML

2004-05-29 wenzelm [Sat, 29 May 2004 14:55:56 +0200] rev 14817
'classrel': support multiple arguments;
doc-src/IsarRef/pure.tex