| Thu, 29 Sep 2005 01:12:16 +0200 | wenzelm | make signature constraint actually work; | changeset | files |
| Thu, 29 Sep 2005 01:09:39 +0200 | wenzelm | activate signature constraints; | changeset | files |
| Thu, 29 Sep 2005 00:59:03 +0200 | wenzelm | HOL4 image is back; | changeset | files |
| 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 |