definition
- sttfa:falsity/type_0.def
- sttfa:falsity/term_0.def
- sttfa:falsity/HOLLight_2E__FALSITY__.def
- sttfa:falsity/type_1.def
- sttfa:falsity/type_2.def
- sttfa:falsity/term_1.def
- sttfa:falsity/term_2.def
- sttfa:falsity/term_3.def
- sttfa:falsity/term_4.def