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