| Thu, 20 Jun 2024 14:28:46 +0000 | haftmann | dropped references to theorems from transitional theory Divides.thy | file | diff | annotate |
| Sun, 20 May 2018 22:04:46 +0200 | wenzelm | avoid undeclared frees; | file | diff | annotate |
| Fri, 12 Jan 2018 14:08:53 +0100 | wenzelm | isabelle update_cartouches -c; | file | diff | annotate |
| Sun, 16 Oct 2016 09:31:05 +0200 | haftmann | more standardized theorem names for facts involving the div and mod identity | file | diff | annotate |