| Fri, 06 Aug 2010 10:50:52 +0200 | blanchet | improved "merge_type_vars" option: map supersorts to subsorts, to avoid distinguishing, say, "{}", and "HOL.type" | changeset | files |
| Thu, 05 Aug 2010 22:29:43 +0200 | ballarin | Remove duplicate locale activation code; performance improvement. | changeset | files |
| Thu, 05 Aug 2010 21:56:22 +0200 | blanchet | added record field | changeset | files |
| Thu, 05 Aug 2010 20:17:50 +0200 | blanchet | added "whack" | changeset | files |
| Thu, 05 Aug 2010 18:33:07 +0200 | blanchet | handle "Rep_unit" & Co. gracefully | changeset | files |
| Thu, 05 Aug 2010 18:00:50 +0200 | blanchet | added support for "Abs_" and "Rep_" functions on quotient types | changeset | files |
| Thu, 05 Aug 2010 15:44:54 +0200 | blanchet | fiddle with specialization etc. | changeset | files |