dec_and.con.body.xml
dec_and.con.types.xml
dec_False.con.body.xml
dec_False.con.types.xml
decidable.con.body.xml
decidable.con.types.xml
dec_imp.con.body.xml
dec_imp.con.types.xml
dec_not.con.body.xml
dec_not.con.types.xml
dec_not_not.con.body.xml
dec_not_not.con.types.xml
dec_or.con.body.xml
dec_or.con.types.xml
dec_True.con.body.xml
dec_True.con.types.xml
imp_simp.con.body.xml
imp_simp.con.types.xml
not_and.con.body.xml
not_and.con.types.xml
not_imp.con.body.xml
not_imp.con.types.xml
not_not.con.body.xml
not_not.con.types.xml
not_or.con.body.xml
not_or.con.types.xml