diff options
Diffstat (limited to 'theories/Lists/Streams.v')
| -rw-r--r-- | theories/Lists/Streams.v | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/theories/Lists/Streams.v b/theories/Lists/Streams.v index 7a275a8231..f16d70a4c2 100644 --- a/theories/Lists/Streams.v +++ b/theories/Lists/Streams.v @@ -54,6 +54,7 @@ Lemma tl_nth_tl : Proof. simple induction n; simpl; auto. Qed. +#[local] Hint Resolve tl_nth_tl: datatypes. Lemma Str_nth_tl_plus : |