changeset 33889 | 4328de748fb2 |
parent 33756 | 47b7c9e0bf6e |
child 34028 | 1e6206763036 |
--- a/src/HOL/HOL.thy Tue Nov 24 16:11:50 2009 +0100 +++ b/src/HOL/HOL.thy Tue Nov 24 17:19:33 2009 +0100 @@ -8,7 +8,6 @@ imports Pure "~~/src/Tools/Code_Generator" uses ("Tools/hologic.ML") - "~~/src/Tools/auto_solve.ML" "~~/src/Tools/IsaPlanner/zipper.ML" "~~/src/Tools/IsaPlanner/isand.ML" "~~/src/Tools/IsaPlanner/rw_tools.ML"