| Thu, 15 Apr 2010 21:24:00 +0200 | wenzelm | more robust record syntax: use Type.raw_match to ignore sort constraints as in regular abbreviations (also note that constraints only affect operations, not types); | changeset | files |
| Thu, 15 Apr 2010 20:56:04 +0200 | wenzelm | HOL record: explicitly allow sort constraints; | changeset | files |
| Thu, 15 Apr 2010 20:37:27 +0200 | wenzelm | misc tuning and simplification; | changeset | files |
| Thu, 15 Apr 2010 20:31:21 +0200 | wenzelm | explicit ProofContext.check_tfree; | changeset | files |
| Thu, 15 Apr 2010 18:13:25 +0200 | wenzelm | merged | changeset | files |
| Thu, 15 Apr 2010 16:55:12 +0200 | Cezary Kaliszyk | Respectfullness and preservation of list_rel | changeset | files |