changeset 50530 | 6266e44b3396 |
parent 49882 | 946efb120c42 |
child 51410 | f0865a641e76 |
--- a/src/HOL/BNF/Examples/Derivation_Trees/DTree.thy Fri Dec 14 16:24:12 2012 +0100 +++ b/src/HOL/BNF/Examples/Derivation_Trees/DTree.thy Fri Dec 14 16:33:22 2012 +0100 @@ -1,4 +1,4 @@ -(* Title: HOL/BNF/Examples/Infinite_Derivation_Trees/DTree.thy +(* Title: HOL/BNF/Examples/Derivation_Trees/DTree.thy Author: Andrei Popescu, TU Muenchen Copyright 2012