| 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 |
| Tue, 21 Sep 2021 00:20:47 +0200 | wenzelm | bundle lattice_syntax / no_lattice_syntax supersedes theory HOL-Library.Lattice_Syntax; | changeset | files |
| Mon, 20 Sep 2021 23:15:02 +0200 | wenzelm | localized command 'syntax' and 'no_syntax'; | changeset | files |
| Mon, 20 Sep 2021 21:56:10 +0200 | wenzelm | tuned; | changeset | files |
| Mon, 20 Sep 2021 20:43:38 +0200 | wenzelm | clarified signature; | changeset | files |
| Mon, 20 Sep 2021 20:22:32 +0200 | wenzelm | clarified signature; | changeset | files |
| Mon, 20 Sep 2021 20:24:43 +0200 | desharna | merged | changeset | files |
| Mon, 20 Sep 2021 15:30:03 +0200 | desharna | proper constants in TPTP $let binding | changeset | files |
| Mon, 20 Sep 2021 15:27:00 +0200 | wenzelm | more operations from Isabelle/ML; | changeset | files |
| Mon, 20 Sep 2021 15:11:13 +0200 | wenzelm | merged | changeset | files |
| Mon, 20 Sep 2021 13:52:09 +0200 | wenzelm | tuned proofs --- eliminated 'guess'; | changeset | files |