2005-06-17 | wenzelm | accomodate identification of type Sign.sg and theory; | file | diff | annotate |
2005-04-21 | berghofe | Adapted to new interface of instantiation and unification / matching functions. | file | diff | annotate |
2005-03-03 | skalberg | Move towards standard functions. | file | diff | annotate |
2005-02-13 | skalberg | Deleted Library.option type. | file | diff | annotate |
2004-10-19 | berghofe | Replaced PolyML specific print function by Display.print_thm(s) | file | diff | annotate |
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. | file | diff | annotate |
2004-08-20 | paulson | fix to eliminate excessive case-splits in the recursion equations, by Luca Dixon | file | diff | annotate |