User Tools
pvs:prover
Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | |||
|
pvs:prover [2016/09/07 23:52] jonathan |
pvs:prover [2017/09/14 16:08] (current) jonathan [Basic] |
||
|---|---|---|---|
| Line 23: | Line 23: | ||
| and enter the name of a formula. The ProofLite script of that | and enter the name of a formula. The ProofLite script of that | ||
| formula is displayed in the bu ffer "ProofLite". | formula is displayed in the bu ffer "ProofLite". | ||
| + | |||
| + | ===== Commands ===== | ||
| + | * Introduce all types in formula: ''(all-typepreds)'' | ||
| + | * ''(typepred a b c)'' | ||
pvs/prover.1473292344.txt.gz · Last modified: 2016/09/07 23:52 by jonathan
Page Tools
