changeset 39316 | b6c4385ab400 |
parent 38857 | 97775f3e8722 |
child 39345 | 062c10ff848c |
--- a/src/HOL/Tools/Nitpick/nitpick.ML Sat Sep 11 10:13:51 2010 +0200 +++ b/src/HOL/Tools/Nitpick/nitpick.ML Sat Sep 11 10:20:25 2010 +0200 @@ -144,7 +144,7 @@ rel_table: nut NameTable.table, unsound: bool, scope: scope} - + type rich_problem = KK.problem * problem_extension fun pretties_for_formulas _ _ [] = []