src/Tools/IsaPlanner/isand.ML
2007-05-31 wenzelm 2007-05-31 tuned headers -- adapted to usual conventions;
2007-05-31 wenzelm 2007-05-31 moved IsaPlanner from Provers to Tools;