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 |