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