Tue, 13 Oct 2015 19:22:25 +0200 | nipkow | prefer undecorated typedef | changeset | files |
Tue, 13 Oct 2015 17:27:11 +0200 | nipkow | even -> evn to avoid clash with global even | changeset | files |
Tue, 13 Oct 2015 17:06:37 +0200 | nipkow | added invar empty | changeset | files |