| Sat, 05 Jan 2019 17:24:33 +0100 | wenzelm | isabelle update -u control_cartouches; | file | diff | annotate |
| Fri, 04 Jan 2019 23:22:53 +0100 | wenzelm | isabelle update -u control_cartouches; | file | diff | annotate |
| Thu, 07 Jun 2018 19:36:12 +0200 | nipkow | utilize 'flip' | file | diff | annotate |
| Fri, 12 Jan 2018 17:14:34 +0100 | wenzelm | prefer formal text; | file | diff | annotate |
| Wed, 23 Aug 2017 01:05:39 +0200 | Manuel Eberl | HOL-Library: going_to filter | file | diff | annotate |