| Fri, 06 Aug 2010 12:38:02 +0200 | wenzelm | merged | changeset | files |
| Fri, 06 Aug 2010 11:37:33 +0200 | blanchet | merged | changeset | files |
| Fri, 06 Aug 2010 11:35:10 +0200 | blanchet | quotient types registered as codatatypes are no longer quotient types | changeset | files |
| Fri, 06 Aug 2010 11:33:58 +0200 | blanchet | added a friendly warning | changeset | files |
| Fri, 06 Aug 2010 11:05:57 +0200 | blanchet | extend the scope of limitation about nonconservative extensions | changeset | files |
| 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 |