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 |
| Evidence | Htaut.Proving, Htaut |
| exfalso | Htaut.Proving, Htaut |
| Neg | Htaut.Proposition, Htaut |
| Or | Htaut.Proposition, Htaut |
| Prop | Htaut.Proposition, Htaut |
| Prove | Htaut.Proving, Htaut |
| Top | |
| 1 (Type/Class) | Htaut.Proposition, Htaut |
| 2 (Data Constructor) | Htaut.Proposition, Htaut |