| Wed, 23 Sep 2015 09:30:12 +0200 | wenzelm | tuned output; | changeset | files |
| Tue, 22 Sep 2015 22:42:48 +0200 | wenzelm | tuned signature; | changeset | files |
| Tue, 22 Sep 2015 22:38:22 +0200 | wenzelm | eliminated separate type Theory.dep: use typeargs uniformly for consts/types; | changeset | files |