Fri, 04 Jan 2019 23:22:53 +0100 | wenzelm | isabelle update -u control_cartouches; | file | diff | annotate |
Sat, 08 Oct 2016 14:09:53 +0200 | haftmann | dedicated syntax for types with a length | file | diff | annotate |
Thu, 01 Sep 2016 20:59:51 +0200 | wenzelm | clarified session; | file | diff | annotate | base |