| 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 |
| Thu, 20 Sep 2007 20:56:33 +0200 | wenzelm | avoid Theory.rep_theory; | changeset | files |
| Thu, 20 Sep 2007 20:56:32 +0200 | wenzelm | added interpretation.ML; | changeset | files |
| Thu, 20 Sep 2007 17:48:16 +0200 | wenzelm | improved error behaviour of use (bootstrap version); | changeset | files |
| Thu, 20 Sep 2007 16:37:34 +0200 | haftmann | more precise treatment of free dictionary parameters for evaluation | changeset | files |
| Thu, 20 Sep 2007 16:37:33 +0200 | haftmann | fixed cg setup | changeset | files |
| Thu, 20 Sep 2007 16:37:32 +0200 | haftmann | restored ml system independence | changeset | files |
| Thu, 20 Sep 2007 16:37:31 +0200 | haftmann | more permissive | changeset | files |
| Thu, 20 Sep 2007 16:37:30 +0200 | haftmann | clarified code lemmas | changeset | files |
| Thu, 20 Sep 2007 16:37:29 +0200 | haftmann | fixed wrong syntax treatment in class target | changeset | files |