Tue, 21 Sep 2021 13:14:18 +0200 | wenzelm | clarified antiquotations; | changeset | files |
Tue, 21 Sep 2021 13:12:14 +0200 | wenzelm | ML antiquotations for object-logic judgment; | changeset | files |
Tue, 21 Sep 2021 12:35:38 +0200 | wenzelm | proper Sign.const_typargs via Theory.add_deps_const/Theory.const_dep; | changeset | files |