2007-04-04 wenzelm [Wed, 04 Apr 2007 00:11:14 +0200] rev 22583
added scanwords from library.ML (for obsolete rename_tac);
src/Pure/tactic.ML

2007-04-04 wenzelm [Wed, 04 Apr 2007 00:11:13 +0200] rev 22582
removed obsolete scanwords (see obsolete tactic.ML:rename_tac for its only use);
src/Pure/library.ML

2007-04-04 wenzelm [Wed, 04 Apr 2007 00:11:12 +0200] rev 22581
removed dead code;
src/HOLCF/fixrec_package.ML

2007-04-04 wenzelm [Wed, 04 Apr 2007 00:11:10 +0200] rev 22580
cleaned-up Output functions;
src/HOL/Tools/refute.ML src/HOLCF/IOA/ABP/Check.ML src/Provers/blast.ML src/Pure/Thy/present.ML

2007-04-04 wenzelm [Wed, 04 Apr 2007 00:11:08 +0200] rev 22579
eliminated obsolete rename_tac;
src/HOL/Hoare/hoare.ML src/HOL/Hoare/hoareAbort.ML

2007-04-04 wenzelm [Wed, 04 Apr 2007 00:11:03 +0200] rev 22578
removed obsolete sign_of/sign_of_thm;
TFL/casesplit.ML TFL/post.ML TFL/tfl.ML src/FOLP/simp.ML src/HOL/Bali/Basis.thy src/HOL/Import/hol4rews.ML src/HOL/Import/import_package.ML src/HOL/Import/import_syntax.ML src/HOL/Import/shuffler.ML src/HOL/Integ/int_arith1.ML src/HOL/Integ/nat_simprocs.ML src/HOL/Integ/presburger.ML src/HOL/Library/word_setup.ML src/HOL/Matrix/cplex/FloatSparseMatrixBuilder.ML src/HOL/Nominal/nominal_package.ML src/HOL/Nominal/nominal_permeq.ML src/HOL/Real/ferrante_rackoff.ML src/HOL/Real/float.ML src/HOL/Tools/Presburger/presburger.ML src/HOL/Tools/datatype_abs_proofs.ML src/HOL/Tools/datatype_aux.ML src/HOL/Tools/datatype_codegen.ML src/HOL/Tools/datatype_package.ML src/HOL/Tools/datatype_prop.ML src/HOL/Tools/datatype_realizer.ML src/HOL/Tools/datatype_rep_proofs.ML src/HOL/Tools/record_package.ML src/HOL/Tools/res_atp.ML src/HOL/Tools/specification_package.ML src/HOLCF/IOA/meta_theory/ioa_package.ML src/HOLCF/adm_tac.ML src/HOLCF/domain/axioms.ML src/HOLCF/domain/theorems.ML src/Provers/Arith/fast_lin_arith.ML src/Provers/IsaPlanner/isand.ML src/Provers/IsaPlanner/rw_inst.ML src/Provers/eqsubst.ML src/Provers/order.ML src/Provers/quasi.ML src/Provers/splitter.ML src/Pure/theory.ML src/ZF/Tools/datatype_package.ML

2007-04-04 wenzelm [Wed, 04 Apr 2007 00:10:59 +0200] rev 22577
ML antiquotes;
src/FOLP/FOLP.thy src/HOL/Fun.thy src/HOL/Product_Type.thy src/HOLCF/Pcpo.thy

2007-04-03 wenzelm [Tue, 03 Apr 2007 19:31:48 +0200] rev 22576
tuned comments;
src/Pure/ML-Systems/alice.ML

2007-04-03 wenzelm [Tue, 03 Apr 2007 19:24:22 +0200] rev 22575
fixed chr/explode;
src/Pure/ML-Systems/alice.ML

2007-04-03 wenzelm [Tue, 03 Apr 2007 19:24:21 +0200] rev 22574
avoid overloaded integer constants (accomodate Alice);
src/Pure/General/rat.ML src/Pure/Syntax/lexicon.ML src/Pure/Tools/codegen_serializer.ML