diff options
Diffstat (limited to 'contrib/subtac/FixSub.v')
| -rw-r--r-- | contrib/subtac/FixSub.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/subtac/FixSub.v b/contrib/subtac/FixSub.v index 14990a24c..6face72d1 100644 --- a/contrib/subtac/FixSub.v +++ b/contrib/subtac/FixSub.v @@ -21,7 +21,7 @@ End FixPoint. End Well_founded. -Check Fix_sub. +(*Check Fix_sub.*) Notation "'forall' { x : A | P } , Q" := (forall x:{x:A|P}, (fun x => Q) (proj1_sig x)) |