| Sun, 24 Dec 2023 12:35:02 +0100 | wenzelm | tuned; | changeset | files |
| Sun, 24 Dec 2023 12:32:25 +0100 | wenzelm | clarified modules; | changeset | files |
| Sun, 24 Dec 2023 12:23:50 +0100 | wenzelm | tuned; | changeset | files |
| Sun, 24 Dec 2023 12:17:12 +0100 | wenzelm | unused; | changeset | files |
| Sun, 24 Dec 2023 12:06:20 +0100 | wenzelm | clarified modules; | changeset | files |
| Sun, 24 Dec 2023 11:58:33 +0100 | wenzelm | tuned; | changeset | files |
| Sun, 24 Dec 2023 11:51:59 +0100 | wenzelm | clarified modules; | changeset | files |
| Sun, 24 Dec 2023 11:46:20 +0100 | wenzelm | tuned; | changeset | files |
| Sun, 24 Dec 2023 11:18:16 +0100 | wenzelm | tuned signature; | changeset | files |
| Sun, 24 Dec 2023 11:13:54 +0100 | wenzelm | tuned; | changeset | files |
| Sun, 24 Dec 2023 11:13:33 +0100 | wenzelm | more operations; | changeset | files |
| 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 |
| Fri, 22 Dec 2023 14:55:55 +0100 | wenzelm | clarified signature; | changeset | files |
| Fri, 22 Dec 2023 13:53:03 +0100 | wenzelm | observe option "prune_proofs"; | changeset | files |
| Thu, 21 Dec 2023 21:35:54 +0100 | wenzelm | clarified zproof storage: per-theory table in anticipation of session exports; | changeset | files |
| Thu, 21 Dec 2023 21:03:02 +0100 | wenzelm | proper thm_name for stored zproof; | changeset | files |
| Thu, 21 Dec 2023 17:07:03 +0100 | wenzelm | uniform treatment of lazy facts: actual proof terms are always strict; | changeset | files |
| Thu, 21 Dec 2023 17:01:35 +0100 | wenzelm | tuned; | changeset | files |
| Thu, 21 Dec 2023 11:58:19 +0100 | wenzelm | tuned whitespace; | changeset | files |
| Thu, 21 Dec 2023 11:40:43 +0100 | wenzelm | tuned; | changeset | files |
| Wed, 20 Dec 2023 22:32:57 +0100 | wenzelm | proper Thm.transfer; | changeset | files |
| Wed, 20 Dec 2023 20:58:56 +0100 | wenzelm | clarified context: avoid capture of thy2 within closure; | changeset | files |
| Wed, 20 Dec 2023 20:48:57 +0100 | wenzelm | tuned names; | changeset | files |