Index - F

fillEnv	Lang.Lang
fillEnvJ	Lang.Operation
fillRight	Lang.NamedExplanation
findExp	Lang.Explanation
Fine	Logic.Problems
flattenApp	Lang.Lang
freeVars	Lang.Lang
fth	Lang.ClassificationInstances