2014-11-10 | nipkow | even -> evn because even is now in Main | changeset | files |
2014-11-10 | traytel | dropped redundant transfer rules (now proved and registered by datatype and plugins) | changeset | files |
2014-11-09 | wenzelm | proper context for typedef; | changeset | files |
2014-11-09 | wenzelm | proper proof context for typedef; | changeset | files |
Loading... |