changeset 49463 | 83ac281bcdc2 |
parent 49222 | cbe8c859817c |
child 49508 | 1e205327f059 |
--- a/src/HOL/Codatatype/Examples/TreeFI.thy Thu Sep 20 02:42:49 2012 +0200 +++ b/src/HOL/Codatatype/Examples/TreeFI.thy Thu Sep 20 02:42:49 2012 +0200 @@ -1,4 +1,4 @@ -(* Title: Codatatype_Examples/TreeFI.thy +(* Title: HOL/Codatatype/Examples/TreeFI.thy Author: Dmitriy Traytel, TU Muenchen Author: Andrei Popescu, TU Muenchen Copyright 2012