| 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 |