path: root/test-suite/output/SuggestProofUsing.out

The proof of Top#Sec#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.