src/HOL/Codatatype/Codatatype.thy
author blanchet
Mon Sep 17 21:33:12 2012 +0200 (2012-09-17)
changeset 49430 6df729c6a1a6
parent 49309 f20b24214ac2
permissions -rw-r--r--
tuned simpset
     1 (*  Title:      HOL/Codatatype/Codatatype.thy
     2     Author:     Dmitriy Traytel, TU Muenchen
     3     Author:     Andrei Popescu, TU Muenchen
     4     Author:     Jasmin Blanchette, TU Muenchen
     5     Copyright   2012
     6 
     7 The (co)datatype package.
     8 *)
     9 
    10 header {* The (Co)datatype Package *}
    11 
    12 theory Codatatype
    13 imports More_BNFs
    14 begin
    15 
    16 end