| 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 |
| Tue, 21 Sep 2021 12:25:40 +0200 | wenzelm | clarified modules; | changeset | files |
| Tue, 21 Sep 2021 12:08:41 +0200 | wenzelm | clarified modules; | changeset | files |
| Tue, 21 Sep 2021 11:34:58 +0200 | wenzelm | more uniform syntax; | changeset | files |
| Tue, 21 Sep 2021 11:23:18 +0200 | wenzelm | permissive identification, e.g. relevant for HOL-SPARK examples running on rsync-clone; | changeset | files |
| Tue, 21 Sep 2021 00:20:55 +0200 | wenzelm | NEWS; | changeset | files |