2006-06-11 wenzelm [Sun, 11 Jun 2006 21:59:24 +0200] rev 19844
fixes: include mixfix syntax;
src/Pure/Isar/isar_syn.ML src/Pure/Isar/obtain.ML

2006-06-11 wenzelm [Sun, 11 Jun 2006 21:59:23 +0200] rev 19843
added satisfy_ctxt;
src/Pure/Isar/element.ML

2006-06-11 wenzelm [Sun, 11 Jun 2006 21:59:21 +0200] rev 19842
outer_params: Syntax.dest_internal;
src/Pure/drule.ML

2006-06-11 wenzelm [Sun, 11 Jun 2006 21:59:17 +0200] rev 19841
avoid unqualified exception;
src/HOL/Tools/datatype_aux.ML src/HOL/Tools/datatype_package.ML src/HOL/Tools/function_package/fundef_lib.ML src/HOL/Tools/record_package.ML src/Pure/Isar/toplevel.ML src/Pure/Proof/reconstruct.ML

2006-06-11 nipkow [Sun, 11 Jun 2006 19:36:10 +0200] rev 19840
added quoting via back quotes
doc-src/IsarOverview/Isar/Logic.thy doc-src/IsarOverview/Isar/document/Logic.tex

2006-06-11 dixon [Sun, 11 Jun 2006 00:42:22 +0200] rev 19839
updated IsaMakefiles for new location of IsaPlanner.
src/FOL/IsaMakefile src/HOL/IsaMakefile

2006-06-11 dixon [Sun, 11 Jun 2006 00:39:31 +0200] rev 19838
removed IsaPlanner - these are now in Provers.
src/Pure/IsaMakefile

2006-06-11 dixon [Sun, 11 Jun 2006 00:38:45 +0200] rev 19837
removed IsaPlannner things from Pure. Moved to Provers.
src/Pure/ROOT.ML

2006-06-11 dixon [Sun, 11 Jun 2006 00:36:17 +0200] rev 19836
moved to new location in Provers.
src/Pure/IsaPlanner/ROOT.ML src/Pure/IsaPlanner/focus_term_lib.ML src/Pure/IsaPlanner/isa_fterm.ML src/Pure/IsaPlanner/isand.ML src/Pure/IsaPlanner/isaplib.ML src/Pure/IsaPlanner/rw_inst.ML src/Pure/IsaPlanner/rw_tools.ML src/Pure/IsaPlanner/term_lib.ML src/Pure/IsaPlanner/upterm_lib.ML

2006-06-11 dixon [Sun, 11 Jun 2006 00:28:18 +0200] rev 19835
added updated version of IsaPlanner and substitution.
src/FOL/ROOT.ML src/HOL/ROOT.ML src/Provers/IsaPlanner/ROOT.ML src/Provers/IsaPlanner/isand.ML src/Provers/IsaPlanner/rw_inst.ML src/Provers/IsaPlanner/rw_tools.ML src/Provers/IsaPlanner/zipper.ML src/Provers/eqsubst.ML