History log of /seL4-l4v-master/isabelle/src/HOL/ex/Datatype_Record_Examples.thy
Revision Date Author Comments
# ed7a971e 05-Jan-2019 wenzelm <none@none>

isabelle update -u control_cartouches;
# 70911433 27-Jul-2018 Lars Hupel <lars.hupel@mytum.de>

datatype_record produces simp theorems; contributed in part by Yu Zhang
# 9cb3c046 14-Feb-2018 Lars Hupel <lars.hupel@mytum.de>

records based on datatypes/BNF infrastructure