| Mon, 17 Apr 2017 15:08:21 +0200 | wenzelm | more uniform thy_deps (like class_deps), see also c48d536231fe; | changeset | files |
| Mon, 17 Apr 2017 13:14:01 +0200 | wenzelm | special theories are always global; | changeset | files |
| Mon, 17 Apr 2017 12:29:50 +0200 | wenzelm | tuned signature; | changeset | files |
| Mon, 17 Apr 2017 12:20:45 +0200 | wenzelm | tuned signature; | changeset | files |