Mon, 21 Sep 2015 14:44:32 +0200 | nipkow | New subdirectory for functional data structures | changeset | files |
Mon, 21 Sep 2015 11:31:56 +0200 | nipkow | Added new simplifier predicate ASSUMPTION | changeset | files |
Sat, 19 Sep 2015 22:32:26 +0200 | wenzelm | eliminated suspicious unicode; | changeset | files |