| 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 |
| Tue, 22 Sep 2015 20:29:20 +0200 | wenzelm | tuned signature; | changeset | files |