Fri, 14 Apr 2023 21:34:51 +0200 | wenzelm | more operations, following Isabelle/ML conventions; | changeset | files |
Fri, 14 Apr 2023 20:42:17 +0200 | wenzelm | more operations, following Isabelle/ML conventions; | changeset | files |
Fri, 14 Apr 2023 16:01:00 +0200 | wenzelm | proforma use of Long_Name.chunks, without change of the representation of accesses yet; | changeset | files |