| Thu, 20 Jun 2024 14:28:46 +0000 | haftmann | dropped references to theorems from transitional theory Divides.thy | file | diff | annotate |
| Tue, 11 Oct 2022 18:30:09 +0200 | nipkow | adjusted proofs | file | diff | annotate |
| Mon, 14 Jan 2019 14:46:12 +0100 | nipkow | uniform naming | file | diff | annotate |
| Sun, 21 Oct 2018 09:39:09 +0200 | nipkow | uniform naming of strong congruence rules | file | diff | annotate |
| Sun, 29 Jul 2018 23:04:22 +0100 | paulson | de-applying and removal of obsolete aliases | file | diff | annotate |
| Wed, 10 Jan 2018 15:25:09 +0100 | nipkow | ran isabelle update_op on all sources | file | diff | annotate |
| Sat, 02 Dec 2017 16:50:53 +0000 | haftmann | more simplification rules | file | diff | annotate |