2005-11-16 | wenzelm | tuned Pattern.match/unify; | file | diff | annotate |
2005-09-15 | wenzelm | TableFun/Symtab: curried lookup and update; | file | diff | annotate |
2005-09-01 | wenzelm | curried_lookup/update; | file | diff | annotate |
2005-08-31 | wenzelm | refer to theory instead of low-level tsig; | file | diff | annotate |
2005-07-28 | wenzelm | Sign.typ_match; | 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 |
2001-12-03 | wenzelm | HOLogic.typeS; | file | diff | annotate |
2001-01-03 | wenzelm | renamed .sml files to .ML; | file | diff | annotate |