Index - F

felicitousBracketing	Data.DRS.Input.String, Data.DRS.Input, Data.DRS
FOLForm	Data.FOL.Formula, Data.FOL
FOLPred	Data.FOL.Formula, Data.FOL
FOLVar	Data.FOL.Formula, Data.FOL
ForAll	Data.FOL.Formula, Data.FOL