changeset 33982 | 1ae222745c4a |
parent 33699 | f33b036ef318 |
child 34121 | 5e831d805118 |
--- a/src/HOL/Tools/Nitpick/nitpick_isar.ML Fri Dec 04 17:19:33 2009 +0100 +++ b/src/HOL/Tools/Nitpick/nitpick_isar.ML Fri Dec 04 17:19:59 2009 +0100 @@ -1,4 +1,4 @@ -(* Title: HOL/Nitpick/Tools/nitpick_isar.ML +(* Title: HOL/Tools/Nitpick/nitpick_isar.ML Author: Jasmin Blanchette, TU Muenchen Copyright 2008, 2009