changeset 54397 | f4b4fa25ce56 |
parent 54396 | 8baee6b04a7c |
child 54422 | 4ca60c430147 |
--- a/src/HOL/Tools/ctr_sugar_tactics.ML Tue Nov 12 13:47:24 2013 +0100 +++ b/src/HOL/Tools/ctr_sugar_tactics.ML Tue Nov 12 13:47:24 2013 +0100 @@ -1,6 +1,6 @@ -(* Title: HOL/BNF/Tools/ctr_sugar_tactics.ML +(* Title: HOL/Tools/ctr_sugar_tactics.ML Author: Jasmin Blanchette, TU Muenchen - Copyright 2012 + Copyright 2012, 2013 Tactics for wrapping existing freely generated type's constructors. *)