Tue, 31 Oct 2017 18:56:24 +0100 | wenzelm | clarified signature; | changeset | files |
Tue, 31 Oct 2017 18:45:33 +0100 | wenzelm | clarified signature; | changeset | files |
Tue, 31 Oct 2017 17:56:28 +0100 | wenzelm | clarified signature; | changeset | files |
Tue, 31 Oct 2017 17:15:49 +0100 | wenzelm | clarified signature: global_theories is always required; | changeset | files |