changeset 57668 | 09d2b853b20c |
parent 57665 | 232954f7df1c |
child 57700 | a2c4adb839a9 |
child 57824 | 615223745d4e |
--- a/src/HOL/Tools/BNF/bnf_fp_def_sugar.ML Thu Jul 24 23:01:23 2014 +0200 +++ b/src/HOL/Tools/BNF/bnf_fp_def_sugar.ML Fri Jul 25 11:26:10 2014 +0200 @@ -1,6 +1,7 @@ (* Title: HOL/Tools/BNF/bnf_fp_def_sugar.ML Author: Jasmin Blanchette, TU Muenchen - Copyright 2012, 2013 + Author: Martin Desharnais, TU Muenchen + Copyright 2012, 2013, 2014 Sugared datatype and codatatype constructions. *)