src/Provers/IsaPlanner/rw_inst.ML
2006-09-21 wenzelm 2006-09-21 member (op =);
2006-07-11 wenzelm 2006-07-11 replaced Term.variant(list) by Name.variant(_list);
2006-06-11 dixon 2006-06-11 added updated version of IsaPlanner and substitution.