Mon, 06 Feb 2012 23:01:01 +0100 | blanchet | renamed type encoding | changeset | files |
Sun, 05 Feb 2012 17:43:15 +0100 | bulwahn | adding some forbidden constant names for mutabelle | changeset | files |
Sun, 05 Feb 2012 17:43:14 +0100 | bulwahn | mutabelle ignores theorems with internal constants | changeset | files |