| Thu, 15 Aug 2024 13:58:09 +0200 | wenzelm | adapt and activate congprocs examples, following the current Simplifier implementation; | file | diff | annotate |
| Thu, 15 Aug 2024 13:47:09 +0200 | wenzelm | original Congproc_Ex.thy by Norbert Schirmer: still inactive; | file | diff | annotate |