src/HOL/BNF_Examples/Misc_Datatype.thy
changeset 55075 b3d0a02a756d
parent 55071 8ae6f86a3477
child 55076 1e73e090a514
     1.1 --- a/src/HOL/BNF_Examples/Misc_Datatype.thy	Mon Jan 20 18:24:56 2014 +0100
     1.2 +++ b/src/HOL/BNF_Examples/Misc_Datatype.thy	Mon Jan 20 18:24:56 2014 +0100
     1.3 @@ -1,4 +1,4 @@
     1.4 -(*  Title:      HOL/BNF/Examples/Misc_Datatype.thy
     1.5 +(*  Title:      HOL/BNF_Examples/Misc_Datatype.thy
     1.6      Author:     Dmitriy Traytel, TU Muenchen
     1.7      Author:     Andrei Popescu, TU Muenchen
     1.8      Author:     Jasmin Blanchette, TU Muenchen