2005-06-02 wenzelm 2005-06-02 header;
2005-05-13 dixon 2005-05-13 lucas - fixed bug with uninstantiated type contexts in eqsubst and added the automatic removal of duplicate subgoals (when there are no flex-flex constraints)
2005-05-05 dixon 2005-05-05 lucas - made clean unify smash unifiers so that when we get flex-flex constraints subst does not barf. Also added fix_vars_upto_idx to IsaND.
2005-05-04 paulson 2005-05-04 eta-expansion
2005-05-03 dixon 2005-05-03 lucas - improved interface to isand.ML and cleaned up clean-unification code, and added some better comments.
2005-04-26 dixon 2005-04-26 lucas - improved comments, clarified function behaviour, added missing functions for working with meta variables.
2005-03-04 skalberg 2005-03-04 Removed practically all references to Library.foldr.
2005-03-03 skalberg 2005-03-03 Move towards standard functions.
2005-02-13 skalberg 2005-02-13 Deleted Library.option type.
2005-02-01 paulson 2005-02-01 the new subst tactic, by Lucas Dixon