changeset 55075 | b3d0a02a756d |
parent 55062 | 6d3fad6f01c9 |
child 55083 | 0a689157e3ce |
--- a/src/HOL/Basic_BNFs.thy Mon Jan 20 18:24:56 2014 +0100 +++ b/src/HOL/Basic_BNFs.thy Mon Jan 20 18:24:56 2014 +0100 @@ -1,4 +1,4 @@ -(* Title: HOL/BNF/Basic_BNFs.thy +(* Title: HOL/Basic_BNFs.thy Author: Dmitriy Traytel, TU Muenchen Author: Andrei Popescu, TU Muenchen Author: Jasmin Blanchette, TU Muenchen