equal
deleted
inserted
replaced
6 |
6 |
7 theory HOL |
7 theory HOL |
8 imports Pure "~~/src/Tools/Code_Generator" |
8 imports Pure "~~/src/Tools/Code_Generator" |
9 uses |
9 uses |
10 ("Tools/hologic.ML") |
10 ("Tools/hologic.ML") |
11 "~~/src/Tools/auto_solve.ML" |
|
12 "~~/src/Tools/IsaPlanner/zipper.ML" |
11 "~~/src/Tools/IsaPlanner/zipper.ML" |
13 "~~/src/Tools/IsaPlanner/isand.ML" |
12 "~~/src/Tools/IsaPlanner/isand.ML" |
14 "~~/src/Tools/IsaPlanner/rw_tools.ML" |
13 "~~/src/Tools/IsaPlanner/rw_tools.ML" |
15 "~~/src/Tools/IsaPlanner/rw_inst.ML" |
14 "~~/src/Tools/IsaPlanner/rw_inst.ML" |
16 "~~/src/Tools/intuitionistic.ML" |
15 "~~/src/Tools/intuitionistic.ML" |