Wed, 08 Dec 2010 14:25:07 +0100 | bulwahn | improving the mutabelle script | changeset | files |
Wed, 08 Dec 2010 13:34:51 +0100 | haftmann | primitive definitions of bot/top/inf/sup for bool and fun are named with canonical suffix `_def` rather than `_eq`; | changeset | files |
Wed, 08 Dec 2010 13:34:50 +0100 | haftmann | primitive definitions of bot/top/inf/sup for bool and fun are named with canonical suffix `_def` rather than `_eq` | changeset | files |