search

snu-sf / paco

A Coq library for parametric coinduction
https://github.com/snu-sf/paco
Other
43 stars 10 forks source link

Fix examples.v for compatibility #6

Closed minkiminki closed 6 years ago

minkiminki commented 6 years ago

change "contradiction" tactic to "intuition" for compatibility with Coq 8.5