changeset 49509 | 163914705f8d |
parent 49508 | 1e205327f059 |
--- a/src/HOL/Codatatype/Examples/TreeFI.thy Fri Sep 21 15:53:29 2012 +0200 +++ b/src/HOL/Codatatype/Examples/TreeFI.thy Fri Sep 21 16:34:40 2012 +0200 @@ -1,4 +1,4 @@ -(* Title: HOL/Codatatype/Examples/TreeFI.thy +(* Title: HOL/BNF/Examples/TreeFI.thy Author: Dmitriy Traytel, TU Muenchen Author: Andrei Popescu, TU Muenchen Copyright 2012