| 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 |