src/Provers/IsaPlanner/isand.ML
2007-04-04 wenzelm 2007-04-04 removed obsolete sign_of/sign_of_thm;
2006-09-15 wenzelm 2006-09-15 renamed Term.map_term_types to Term.map_types (cf. Term.fold_types);
2006-07-11 wenzelm 2006-07-11 replaced Term.variant(list) by Name.variant(_list);
2006-06-12 wenzelm 2006-06-12 tuned Seq/Envir/Unify interfaces;
2006-06-11 dixon 2006-06-11 added updated version of IsaPlanner and substitution.