changeset 55075 | b3d0a02a756d |
parent 55071 | 8ae6f86a3477 |
child 55857 | b7a652b0bfb2 |
--- a/src/HOL/BNF_Examples/Derivation_Trees/DTree.thy Mon Jan 20 18:24:56 2014 +0100 +++ b/src/HOL/BNF_Examples/Derivation_Trees/DTree.thy Mon Jan 20 18:24:56 2014 +0100 @@ -1,4 +1,4 @@ -(* Title: HOL/BNF/Examples/Derivation_Trees/DTree.thy +(* Title: HOL/BNF_Examples/Derivation_Trees/DTree.thy Author: Andrei Popescu, TU Muenchen Copyright 2012