| Sat, 24 Aug 2024 14:14:44 +0100 | paulson | Tidied some messy old proofs | file | diff | annotate |
| Thu, 22 Aug 2024 22:26:28 +0100 | paulson | Partial tidying of old proofs | file | diff | annotate |
| Sun, 21 Mar 2021 23:24:20 +0100 | wenzelm | prefer isabelle bbbfont; | file | diff | annotate |
| Mon, 24 Sep 2018 14:30:09 +0200 | nipkow | Prefix form of infix with * on either side no longer needs special treatment | file | diff | annotate |
| Thu, 15 Feb 2018 12:11:00 +0100 | wenzelm | more symbols; | file | diff | annotate |
| Wed, 10 Jan 2018 15:25:09 +0100 | nipkow | ran isabelle update_op on all sources | file | diff | annotate |
| Fri, 18 Aug 2017 20:47:47 +0200 | wenzelm | session-qualified theory imports: isabelle imports -U -i -d '~~/src/Benchmarks' -a; | file | diff | annotate |
| Fri, 29 Jul 2016 20:34:07 +0200 | wenzelm | more accurate cong del; | file | diff | annotate |