Thu, 04 Nov 2021 19:55:59 +0100 | wenzelm | merged | changeset | files |
Thu, 04 Nov 2021 19:22:11 +0100 | wenzelm | clarified Theory_Cache: prefer immutable data with Synchronized variable; | changeset | files |
Thu, 04 Nov 2021 16:47:28 +0100 | wenzelm | tuned signature; | changeset | files |