TFL/casesplit.ML
2005-06-17 wenzelm accomodate identification of type Sign.sg and theory;
2005-04-21 berghofe Adapted to new interface of instantiation and unification / matching functions.
2005-03-03 skalberg Move towards standard functions.
2005-02-13 skalberg Deleted Library.option type.
2004-10-19 berghofe Replaced PolyML specific print function by Display.print_thm(s)
2004-10-18 dixon added a missing case (Var x) that made finding a case split fail, in order to prove the specification equation from the split versions, for some recursive functions.
2004-08-20 paulson fix to eliminate excessive case-splits in the recursion equations, by Luca Dixon
less more (0) tip