changeset 55061 | a0adf838e2d1 |
parent 55060 | 3105434fb02f |
child 55100 | 697b41533e1a |
--- a/src/HOL/Tools/BNF/bnf_gfp_rec_sugar.ML Mon Jan 20 18:24:56 2014 +0100 +++ b/src/HOL/Tools/BNF/bnf_gfp_rec_sugar.ML Mon Jan 20 18:24:56 2014 +0100 @@ -1,4 +1,4 @@ -(* Title: HOL/BNF/Tools/bnf_gfp_rec_sugar.ML +(* Title: HOL/Tools/BNF/bnf_gfp_rec_sugar.ML Author: Lorenz Panny, TU Muenchen Author: Jasmin Blanchette, TU Muenchen Copyright 2013