blob: 010e217efb432d6162e9a87633954bcbdfcb871d (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
The proof of Nat should start with one of the following commands:
Proof using .
Proof using Type*.
Proof using Type.
The proof of foo should start with one of the following commands:
Proof using A B.
Proof using All.
The proof of sec_exactproof should start with one of the following commands:
Proof using .
Proof using Type*.
Proof using Type.
|
