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 |
Fri, 21 Sep 2007 22:51:08 +0200 | wenzelm | proper signature constraint; | changeset | files |