| Fri, 22 Dec 2023 21:03:16 +0100 | wenzelm | clarified signature: downgrade old-style Global_Theory.add_defs to Global_Theory.add_def without attributes; | changeset | files |
| Fri, 22 Dec 2023 17:19:08 +0100 | wenzelm | clarified signature; | changeset | files |
| Fri, 22 Dec 2023 17:18:32 +0100 | wenzelm | tuned; | changeset | files |