| Sat, 05 Jan 2019 17:33:20 +0100 | wenzelm | eliminated spurious \<^print>; | file | diff | annotate |
| Fri, 04 Jan 2019 23:22:53 +0100 | wenzelm | isabelle update -u control_cartouches; | file | diff | annotate |
| Tue, 04 Sep 2018 22:33:19 +0200 | wenzelm | proper binding position for the resulting definition command, not this source file; | file | diff | annotate |
| Sat, 28 Jul 2018 07:28:18 +0200 | Lars Hupel | datatype_record produces simp theorems; contributed in part by Yu Zhang | file | diff | annotate |
| Wed, 14 Feb 2018 11:51:03 +0100 | Lars Hupel | records based on datatypes/BNF infrastructure | file | diff | annotate |