changeset 49463 | 83ac281bcdc2 |
parent 49186 | 4b5fa9d5e330 |
child 49509 | 163914705f8d |
--- a/src/HOL/Codatatype/Examples/Misc_Codata.thy Thu Sep 20 02:42:49 2012 +0200 +++ b/src/HOL/Codatatype/Examples/Misc_Codata.thy Thu Sep 20 02:42:49 2012 +0200 @@ -1,4 +1,4 @@ -(* Title: Codatatype_Examples/Misc_Data.thy +(* Title: HOL/Codatatype/Examples/Misc_Data.thy Author: Dmitriy Traytel, TU Muenchen Author: Andrei Popescu, TU Muenchen Copyright 2012