-
Andrei Paskevich authored
which gives us a cheap test for recursive defitions. We could also make an effort to ignore the conclusions in inductive predicate definitions but it's probably not worth it.
66efe794
which gives us a cheap test for recursive defitions. We could also make an effort to ignore the conclusions in inductive predicate definitions but it's probably not worth it.