| 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 |
| Fri, 21 Sep 2007 22:51:08 +0200 | wenzelm | proper signature constraint; | changeset | files |
| Thu, 20 Sep 2007 20:58:40 +0200 | wenzelm | added interrupt_timeout; | changeset | files |
| Thu, 20 Sep 2007 20:56:54 +0200 | wenzelm | Generic interpretation of theory data. | changeset | files |
| Thu, 20 Sep 2007 20:56:34 +0200 | wenzelm | tuned signature; | changeset | files |