changeset 49509 | 163914705f8d |
parent 49504 | df9b897fb254 |
--- a/src/HOL/Codatatype/Tools/bnf_wrap_tactics.ML Fri Sep 21 15:53:29 2012 +0200 +++ b/src/HOL/Codatatype/Tools/bnf_wrap_tactics.ML Fri Sep 21 16:34:40 2012 +0200 @@ -1,4 +1,4 @@ -(* Title: HOL/Codatatype/Tools/bnf_wrap_tactics.ML +(* Title: HOL/BNF/Tools/bnf_wrap_tactics.ML Author: Jasmin Blanchette, TU Muenchen Copyright 2012