EDILL : EDOP

EDILL is an editor command.
Find a minimal ill-formed subformula.
 
The command format for EDILL is:

<Ed>EDILL <<GWFF>>
<<GWFF-ILL>>

TPS documentation homepage


EDILL : TPS-FILE

EDILL is a file.
Contains editing operations for ill-formed formulae.
/home/theorem/tps/bin/edill.fasl is part of module WFF-EDITOR.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage