src/Tools/IsaPlanner/zipper.ML
2009-02-28 wenzelm 2009-02-28 removed Ids;
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;