src/Tools/IsaPlanner/README
2009-02-28 wenzelm 2009-02-28 removed Ids;
2007-05-31 wenzelm 2007-05-31 moved IsaPlanner from Provers to Tools;