Sun, 06 Jan 2019 15:04:34 +0100 | wenzelm | isabelle update -u path_cartouches; | file | diff | annotate |
Fri, 16 Feb 2018 11:03:17 +0100 | Lars Hupel | features and caveats of datatype_record | file | diff | annotate |
Wed, 14 Feb 2018 11:51:03 +0100 | Lars Hupel | records based on datatypes/BNF infrastructure | file | diff | annotate |