| Mon, 10 Nov 2014 15:09:58 +0100 | nipkow | even -> evn because even is now in Main | changeset | files |
| Mon, 10 Nov 2014 10:29:19 +0100 | traytel | dropped redundant transfer rules (now proved and registered by datatype and plugins) | changeset | files |
| Sun, 09 Nov 2014 20:49:28 +0100 | wenzelm | proper context for typedef; | changeset | files |
| Sun, 09 Nov 2014 20:41:53 +0100 | wenzelm | proper proof context for typedef; | changeset | files |