src/Provers/IsaPlanner/isand.ML
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.