| Clause |
Clauses
|
| Signature |
clauses for typing the reserved symbols of the signature
|
| Intruder |
Clauses defining intruder deduction rules
|
| Import |
Importation of an EVA specification in abstract syntax (multi-process)
into a list of clauses
|
| Hornpp |
Pretty printing of specifications in abstract syntax (multi-process)
|
| Tptppp | tptppp_clause sl c
pretty prints the given clause c in the TPTP format,
using the given symbol list sl.
|
| Prologpp |
Pretty printing of specifications in abstract syntax (multi-process)
in Horn clauses format
|