| Fri, 22 Jun 2018 20:31:49 +0200 | wenzelm | clarified document antiquotation @{theory}; | file | diff | annotate |
| Wed, 10 Jan 2018 15:25:09 +0100 | nipkow | ran isabelle update_op on all sources | file | diff | annotate |
| Mon, 25 Apr 2016 16:09:26 +0200 | wenzelm | eliminated old 'def'; | file | diff | annotate |
| Tue, 23 Feb 2016 16:25:08 +0100 | nipkow | more canonical names | file | diff | annotate |
| Tue, 06 Oct 2015 17:47:28 +0200 | wenzelm | isabelle update_cartouches; | file | diff | annotate |
| Fri, 12 Jun 2015 10:33:02 +0200 | bulwahn | add examples from Freek's top 100 theorems (thms 30, 73, 77) | file | diff | annotate |