blob: bef45bf2f629b59d07c84e4cffd02e984f95ada3 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
CONTEXT SUMMARY
===============
* Theory: Set is predicative
* Axioms: <none>
* Constants/Inductives relying on type-in-type: <none>
* Constants/Inductives relying on unsafe (co)fixpoints: <none>
* Inductives whose positivity is assumed: <none>
|
