Thu, 29 May 2025 14:17:09 +0200 | haftmann | added lemma | changeset | files |
Thu, 29 May 2025 14:17:08 +0200 | haftmann | annotate auxiliary operations explicitly | changeset | files |
Thu, 29 May 2025 11:15:48 +0200 | haftmann | more correct language | changeset | files |
Wed, 28 May 2025 17:49:22 +0200 | haftmann | more modern qualification of auxiliary operations | changeset | files |
Sat, 24 May 2025 09:06:26 +0200 | haftmann | move legacy simplifier interfaces into separate file | changeset | files |
Thu, 22 May 2025 19:59:43 +0200 | nipkow | added lemmas | changeset | files |
Wed, 21 May 2025 20:44:12 +0200 | haftmann | tuned | changeset | files |