changeset 22723 | a3a856313bcf |
parent 22651 | 5ab11152daeb |
child 22908 | ed66fbbe4a62 |
--- a/src/Pure/term.ML Tue Apr 17 03:13:38 2007 +0200 +++ b/src/Pure/term.ML Tue Apr 17 21:06:59 2007 +0200 @@ -187,6 +187,7 @@ val variant_frees: term -> (string * 'a) list -> (string * 'a) list val dummy_patternN: string val dummy_pattern: typ -> term + val is_dummy_pattern: term -> bool val no_dummy_patterns: term -> term val replace_dummy_patterns: int * term -> int * term val is_replaced_dummy_pattern: indexname -> bool