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