changeset 34982 | 7b8c366e34a2 |
parent 34936 | c4f04bee79f3 |
child 35280 | 54ab4921f826 |
--- a/src/HOL/Tools/Nitpick/nitpick_peephole.ML Mon Feb 01 14:12:12 2010 +0100 +++ b/src/HOL/Tools/Nitpick/nitpick_peephole.ML Tue Feb 02 11:38:38 2010 +0100 @@ -1,6 +1,6 @@ (* Title: HOL/Tools/Nitpick/nitpick_peephole.ML Author: Jasmin Blanchette, TU Muenchen - Copyright 2008, 2009 + Copyright 2008, 2009, 2010 Peephole optimizer for Nitpick. *)