| Mon, 21 Sep 2015 11:45:03 +0200 | wenzelm | tuned; | changeset | files |
| Mon, 21 Sep 2015 19:52:13 +0100 | paulson | new lemmas and movement of lemmas into place | changeset | files |
| 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 |
| Sat, 19 Sep 2015 22:32:13 +0200 | wenzelm | eliminated hard tabs; | changeset | files |
| Sat, 19 Sep 2015 22:20:08 +0200 | wenzelm | obsolete; | changeset | files |
| Sat, 19 Sep 2015 21:09:38 +0200 | wenzelm | NEWS; | changeset | files |