changeset 50530 | 6266e44b3396 |
parent 50518 | d4fdda801e19 |
child 51772 | d2b265ebc1fa |
--- a/src/HOL/BNF/Examples/Koenig.thy Fri Dec 14 16:24:12 2012 +0100 +++ b/src/HOL/BNF/Examples/Koenig.thy Fri Dec 14 16:33:22 2012 +0100 @@ -1,4 +1,4 @@ -(* Title: HOL/BNF/Examples/Stream.thy +(* Title: HOL/BNF/Examples/Koenig.thy Author: Dmitriy Traytel, TU Muenchen Author: Andrei Popescu, TU Muenchen Copyright 2012