Index
| children | Logic.Proof |
| conclusion | Logic.Proof |
| countNodes | Logic.Proof |
| Explain | Logic.Proof |
| getRow | Logic.Proof |
| hide | Logic.Proof |
| hidePast | Logic.Proof |
| Leaf | Logic.Proof |
| Node | Logic.Proof |
| premises | Logic.Proof |
| Proof | |
| 1 (Type/Class) | Logic.Proof |
| 2 (Data Constructor) | Logic.Proof |
| proofs | Logic.Proof |
| prove | Logic.Proof |
| prove' | Logic.Proof |
| suppose | Logic.Proof |
| toList | Logic.Proof |
| toList' | Logic.Proof |