| Fail | Ideas.Common.Strategy.Core |
| fail | Ideas.Common.Strategy.Combinators, Ideas.Common.Strategy |
| failS | Ideas.Common.Library |
| Failure | Ideas.Common.Utils.QuickCheck |
| false | Ideas.Common.Algebra.Boolean, Ideas.Common.Predicate, Ideas.Common.Library |
| falseSymbol | Ideas.Text.OpenMath.Dictionary.Logic1 |
| Feedback | Ideas.Service.FeedbackScript.Syntax |
| feedbackDecl | Ideas.Service.FeedbackScript.Syntax |
| feedbackDiagnosis | Ideas.Service.FeedbackScript.Run |
| feedbackHint | Ideas.Service.FeedbackScript.Run |
| feedbackHints | Ideas.Service.FeedbackScript.Run |
| feedbackIds | Ideas.Service.FeedbackScript.Run |
| feedbacktext | Ideas.Service.FeedbackText |
| FeedbackUndefined | Ideas.Service.FeedbackScript.Analysis |
| Field | Ideas.Common.Algebra.Field |
| fieldLaws | Ideas.Common.Algebra.FieldLaws |
| final | Ideas.Common.Traversal.Iterator |
| findAttribute | Ideas.Text.XML.Interface, Ideas.Text.XML |
| findbuggyrules | Ideas.Service.BasicServices |
| findChild | Ideas.Text.XML.Interface, Ideas.Text.XML |
| findExercise | Ideas.Service.DomainReasoner |
| findIndexM | Ideas.Common.Utils |
| findService | Ideas.Service.DomainReasoner |
| findSubResult | Ideas.Common.Utils.TestSuite |
| First | |
| 1 (Data Constructor) | Ideas.Text.XML, Ideas.Text.HTML, Ideas.Encoding.Evaluator |
| 2 (Type/Class) | Ideas.Text.XML, Ideas.Text.HTML, Ideas.Encoding.Evaluator |
| first | |
| 1 (Function) | Ideas.Common.View, Ideas.Common.Library |
| 2 (Function) | Ideas.Common.Traversal.Iterator |
| firsts | Ideas.Common.Strategy.Parsing |
| firstTerm | Ideas.Common.Derivation, Ideas.Common.Library |
| fix | Ideas.Common.Strategy.Combinators, Ideas.Common.Strategy, Ideas.Common.Library |
| Fixed | |
| 1 (Data Constructor) | Ideas.Common.Utils.QuickCheck |
| 2 (Type/Class) | Ideas.Common.Utils.QuickCheck |
| 3 (Data Constructor) | Ideas.Text.XML.Document |
| fixp | Ideas.Common.Traversal.Utils |
| fixpl | Ideas.Common.Traversal.Utils |
| fixpoint | Ideas.Common.Utils |
| Flag | Ideas.Main.Options |
| float | Ideas.Text.Parsing |
| FMP | |
| 1 (Type/Class) | Ideas.Text.OpenMath.FMP |
| 2 (Data Constructor) | Ideas.Text.OpenMath.FMP |
| fns1List | Ideas.Text.OpenMath.Dictionary.Fns1 |
| Focus | Ideas.Common.Traversal.Utils |
| focus | Ideas.Common.Traversal.Utils |
| focusM | Ideas.Common.Traversal.Utils |
| forAll | Ideas.Common.Utils.QuickCheck |
| forAllShrink | Ideas.Common.Utils.QuickCheck |
| forallSymbol | Ideas.Text.OpenMath.Dictionary.Quant1 |
| frequency | Ideas.Common.Utils.QuickCheck |
| from | Ideas.Common.View, Ideas.Common.Library |
| fromAdditive | Ideas.Common.Algebra.Field |
| fromAdditiveLaw | Ideas.Common.Algebra.FieldLaws |
| fromAnd | Ideas.Common.Algebra.Boolean |
| fromAndLaw | Ideas.Common.Algebra.BooleanLaws |
| fromBinding | Ideas.Common.Environment, Ideas.Common.Library |
| fromBool | Ideas.Common.Algebra.Boolean, Ideas.Common.Predicate, Ideas.Common.Library |
| fromBuilder | Ideas.Text.XML |
| fromContext | Ideas.Common.Context, Ideas.Common.Library |
| fromContextWith | Ideas.Common.Context, Ideas.Common.Library |
| fromContextWith2 | Ideas.Common.Context, Ideas.Common.Library |
| fromCore | Ideas.Common.Strategy.Abstract |
| fromJSON | Ideas.Text.JSON |
| fromLocation | Ideas.Common.Traversal.Navigator, Ideas.Common.Library |
| fromMultiplicative | Ideas.Common.Algebra.Field |
| fromMultiplicativeLaw | Ideas.Common.Algebra.FieldLaws |
| fromOMOBJ | Ideas.Encoding.OpenMathSupport |
| fromOpenMath | Ideas.Encoding.OpenMathSupport |
| fromOr | Ideas.Common.Algebra.Boolean |
| fromOrLaw | Ideas.Common.Algebra.BooleanLaws |
| fromShowString | Ideas.Common.Utils |
| fromSmart | Ideas.Common.Algebra.SmartGroup |
| fromSmartField | Ideas.Common.Algebra.SmartGroup |
| fromSmartGroup | Ideas.Common.Algebra.SmartGroup |
| fromSmartZero | Ideas.Common.Algebra.SmartGroup |
| fromTerm | Ideas.Common.Rewriting.Term, Ideas.Common.Rewriting, Ideas.Common.Library |
| fromTermM | Ideas.Common.Rewriting.Term, Ideas.Common.Rewriting, Ideas.Common.Library |
| fromTermWith | Ideas.Common.Rewriting.Term, Ideas.Common.Rewriting, Ideas.Common.Library |
| fromWithZero | Ideas.Common.Algebra.Group |
| fromXML | Ideas.Text.XML |
| fst3 | Ideas.Common.Utils |
| full | Ideas.Common.Strategy.Traversal |
| fullbu | Ideas.Common.Strategy.Traversal, Ideas.Common.Strategy, Ideas.Common.Library |
| fullDerivationTree | Ideas.Common.Strategy.Abstract, Ideas.Common.Strategy, Ideas.Common.Library |
| fulltd | Ideas.Common.Strategy.Traversal, Ideas.Common.Strategy, Ideas.Common.Library |
| fullVersion | |
| 1 (Function) | Ideas.Service.DomainReasoner |
| 2 (Function) | Ideas.Main.Options |
| function | Ideas.Common.Rewriting.Term, Ideas.Common.Rewriting, Ideas.Common.Library |