Previous: Sequence Logic, Up: Top [Contents]
In addition to everything else Aris can do, Aris can also use other proofs from other systems with the lemma rule (see lm).