blob: 8d67a4a4b758111245300b12edfad33981f71d27 (
plain)
1
2
3
4
5
6
7
|
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.
|