src/HOL/BNF_Examples/Compat.thy
changeset 57634 efc00b9b8680
parent 56488 535cfc7fc301
child 58112 8081087096ad
     1.1 --- a/src/HOL/BNF_Examples/Compat.thy	Thu Jul 24 00:24:00 2014 +0200
     1.2 +++ b/src/HOL/BNF_Examples/Compat.thy	Thu Jul 24 00:24:00 2014 +0200
     1.3 @@ -1,3 +1,12 @@
     1.4 +(*  Title:      HOL/BNF_Examples/Compat.thy
     1.5 +    Author:     Jasmin Blanchette, TU Muenchen
     1.6 +    Copyright   2014
     1.7 +
     1.8 +Tests for compatibility with the old datatype package.
     1.9 +*)
    1.10 +
    1.11 +header {* Tests for Compatibility with the Old Datatype Package *}
    1.12 +
    1.13  theory Compat
    1.14  imports Main
    1.15  begin