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