| Sat, 22 Sep 2007 17:45:55 +0200 | wenzelm | certify: do_expand as explicit argument, actually certify type of abstractions; | changeset | files |
| Fri, 21 Sep 2007 22:51:13 +0200 | wenzelm | tuned; | changeset | files |
| Fri, 21 Sep 2007 22:51:12 +0200 | wenzelm | added has_abs (from envir.ML); | changeset | files |
| Fri, 21 Sep 2007 22:51:10 +0200 | wenzelm | Term.has_abs; | changeset | files |