Fri, 14 Aug 2020 14:40:24 +0200 | wenzelm | clarified signature; | file | diff | annotate |
Tue, 14 Jan 2020 16:03:31 +0100 | wenzelm | more antiquotations; | file | diff | annotate |
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 |