Sub-formulas and sub-judgements.

We define the subformula relation, and an operation taking a formula and returing the list of its subformulas. We define the subjdugement relation, and an operation taking a judgement and returing the list of its subjudgements. Subjudgements can be colored in pink if they belong to Eloise (i.e., if they are disjunctive). They can be colored in blue if they belong to Abelard (i.e., if they are conjunctive).

Created by Mathematica  (October 17, 2006)