| Thu, 29 Sep 2005 00:59:02 +0200 | wenzelm | tuned default operation: use internal modify; | changeset | files |
| Thu, 29 Sep 2005 00:59:01 +0200 | wenzelm | abstract_rule: tuned exception msgs; | changeset | files |
| Thu, 29 Sep 2005 00:59:00 +0200 | wenzelm | back to simple 'defs' (cf. revision 1.79 of theory.ML); | changeset | files |