diff options
Diffstat (limited to 'theories/Lists/Streams.v')
| -rwxr-xr-x | theories/Lists/Streams.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/theories/Lists/Streams.v b/theories/Lists/Streams.v index 297a888eb..5962e0ed2 100755 --- a/theories/Lists/Streams.v +++ b/theories/Lists/Streams.v @@ -61,7 +61,7 @@ CoInductive EqSt : Stream->Stream->Prop := (* A coinduction principle *) -Meta Definition CoInduction proof := +Tactic Definition CoInduction proof := Cofix proof; Intros; Constructor; [Clear proof | Try (Apply proof;Clear proof)]. |