Index
| <-> | Htaut.Proposition, Htaut |
| And | |
| 1 (Type/Class) | Htaut.Proposition, Htaut |
| 2 (Data Constructor) | Htaut.Proposition, Htaut |
| Bottom | Htaut.Proposition, Htaut |
| bottomImply | Htaut.Proposition, Htaut |
| conditionAdd | Htaut.Theorem.Basic |
| conditionCommute | Htaut.Theorem.Basic |
| conditionSeperate | Htaut.Theorem.Basic |
| dunsScotus | Htaut.Theorem.Basic |
| dunsScotus' | Htaut.Theorem.Basic |
| Evidence | Htaut.Proving, Htaut |
| exfalso | Htaut.Proving, Htaut |
| identity | Htaut.Theorem.Basic |
| Neg | Htaut.Proposition, Htaut |
| Or | Htaut.Proposition, Htaut |
| Prop | Htaut.Proposition, Htaut |
| propagate | Htaut.Theorem.Basic |
| Prove | Htaut.Proving, Htaut |
| syllogism | Htaut.Theorem.Basic |
| syllogism' | Htaut.Theorem.Basic |
| Top | |
| 1 (Type/Class) | Htaut.Proposition, Htaut |
| 2 (Data Constructor) | Htaut.Proposition, Htaut |