| changeset 33982 | 1ae222745c4a |
| parent 33699 | f33b036ef318 |
| child 34121 | 5e831d805118 |
| 33981:ca1621556a14 | 33982:1ae222745c4a |
|---|---|
1 (* Title: HOL/Nitpick/Tools/nitpick_isar.ML |
1 (* Title: HOL/Tools/Nitpick/nitpick_isar.ML |
2 Author: Jasmin Blanchette, TU Muenchen |
2 Author: Jasmin Blanchette, TU Muenchen |
3 Copyright 2008, 2009 |
3 Copyright 2008, 2009 |
4 |
4 |
5 Adds the "nitpick" and "nitpick_params" commands to Isabelle/Isar's outer |
5 Adds the "nitpick" and "nitpick_params" commands to Isabelle/Isar's outer |
6 syntax. |
6 syntax. |