| Thu, 31 Oct 2024 11:35:24 +0100 | Fabian Huch | try0: stop early if more subgoals are created; | changeset | files |
| Fri, 25 Oct 2024 16:38:15 +0200 | Fabian Huch | try0: filter out untagged thms; | changeset | files |
| Thu, 24 Oct 2024 19:13:49 +0200 | Fabian Huch | try0: support literal facts; | changeset | files |
| Thu, 24 Oct 2024 16:46:25 +0200 | Fabian Huch | try0: add 'use' modifier for thms to insert; | changeset | files |
| Thu, 24 Oct 2024 16:45:09 +0200 | Fabian Huch | try0: use extra thms via insert; | changeset | files |
| Thu, 24 Oct 2024 18:25:17 +0200 | Fabian Huch | clarified: proper type for facts; | changeset | files |
| Thu, 24 Oct 2024 18:16:36 +0200 | Fabian Huch | clarified: proper type; | changeset | files |
| Thu, 24 Oct 2024 14:08:28 +0200 | Fabian Huch | tuned; | changeset | files |
| Thu, 24 Oct 2024 14:07:13 +0200 | Fabian Huch | tuned; | changeset | files |
| Thu, 24 Oct 2024 11:37:41 +0200 | Fabian Huch | try0: pass tagged thms for better control; | changeset | files |
| Tue, 22 Oct 2024 17:31:54 +0200 | Fabian Huch | clarified: proper return type; | changeset | files |
| Tue, 22 Oct 2024 14:34:13 +0200 | Fabian Huch | improve try0: solve multiple subgoals at once, if possible; | changeset | files |
| Tue, 22 Oct 2024 14:31:25 +0200 | Fabian Huch | tuned: unused parameter; | changeset | files |
| Fri, 08 Nov 2024 11:18:08 +0100 | nipkow | tuned | changeset | files |
| Thu, 07 Nov 2024 16:21:57 +0100 | nipkow | better termination behaviour | changeset | files |
| Wed, 06 Nov 2024 18:10:39 +0100 | nipkow | uniform name T_f for closed-form lemmas for function T_f | changeset | files |
| Wed, 06 Nov 2024 16:27:06 +0100 | nipkow | More time for primitive functions | changeset | files |
| Wed, 06 Nov 2024 16:19:45 +0100 | nipkow | merged Reverse into Time_Funs | changeset | files |
| Tue, 05 Nov 2024 23:51:44 +0100 | wenzelm | tuned proofs; | changeset | files |
| Tue, 05 Nov 2024 23:45:39 +0100 | wenzelm | tuned description: plain text documentation is also supported; | changeset | files |
| Tue, 05 Nov 2024 23:27:47 +0100 | wenzelm | merged | changeset | files |
| Tue, 05 Nov 2024 23:01:09 +0100 | wenzelm | update to jdk-21.0.5; | changeset | files |
| Tue, 05 Nov 2024 22:05:50 +0100 | wenzelm | misc tuning and clarification: Doc.Entry supports both plain files and pdf documents; | changeset | files |
| Tue, 05 Nov 2024 19:59:30 +0100 | nipkow | tuned proofs | changeset | files |
| Tue, 05 Nov 2024 19:52:15 +0100 | nipkow | added missing definitions | changeset | files |
| Mon, 04 Nov 2024 22:36:42 +0100 | wenzelm | tuned proofs; | changeset | files |
| Mon, 04 Nov 2024 22:05:20 +0100 | wenzelm | clarified modules; | changeset | files |
| Mon, 04 Nov 2024 21:54:34 +0100 | wenzelm | support value-oriented Font_Metric, e.g. for caching Pretty output; | changeset | files |
| Mon, 04 Nov 2024 21:25:26 +0100 | wenzelm | tuned; | changeset | files |
| Mon, 04 Nov 2024 21:05:11 +0100 | wenzelm | unused; | changeset | files |