changeset 34969 | 7b8c366e34a2 |
parent 34287 | 16496e04ca46 |
child 35185 | 9b8f351cced6 |
1.1 --- a/src/HOL/Tools/Nitpick/nitpick_tests.ML Mon Feb 01 14:12:12 2010 +0100 1.2 +++ b/src/HOL/Tools/Nitpick/nitpick_tests.ML Tue Feb 02 11:38:38 2010 +0100 1.3 @@ -1,6 +1,6 @@ 1.4 (* Title: HOL/Tools/Nitpick/nitpick_tests.ML 1.5 Author: Jasmin Blanchette, TU Muenchen 1.6 - Copyright 2008, 2009 1.7 + Copyright 2008, 2009, 2010 1.8 1.9 Unit tests for Nitpick. 1.10 *)