| Sat, 23 Dec 2023 19:08:35 +0100 | wenzelm | eliminate duplicate (see also 6cbcfac5b72e and af7b79271364); | changeset | files |
| Sat, 23 Dec 2023 16:12:53 +0100 | wenzelm | minor performance tuning: shorter names; | changeset | files |
| Sat, 23 Dec 2023 14:50:22 +0100 | wenzelm | minor performance tuning: static vs. dynamic rules; | changeset | files |
| Sat, 23 Dec 2023 14:52:05 +0100 | wenzelm | minor performance tuning; | changeset | files |
| 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 |
| Fri, 22 Dec 2023 15:43:10 +0100 | wenzelm | more thorough treatment of zproof vs. proof: avoid accidental storage of large structures; | changeset | files |