src/Tools/IsaPlanner/rw_inst.ML
Thu, 31 May 2007 20:55:29 +0200 wenzelm moved IsaPlanner from Provers to Tools;
less more (0) tip