| fail | Ideas.Common.Strategy.Combinators, Ideas.Common.Strategy |
| failS | Ideas.Common.Library |
| Failure | Ideas.Utils.QuickCheck |
| false | Ideas.Common.Classes, Ideas.Common.Predicate, Ideas.Common.Library |
| falseSymbol | |
| 1 (Function) | Ideas.Text.OpenMath.Dictionary.Logic1 |
| 2 (Function) | Ideas.Common.Rewriting.Term, Ideas.Common.Rewriting, Ideas.Common.Library |
| 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 |
| feedbackScript | Ideas.Encoding.Request |
| feedbacktext | Ideas.Service.FeedbackText |
| FeedbackUndefined | Ideas.Service.FeedbackScript.Analysis |
| filterP | Ideas.Common.Strategy.Derived |
| 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 |
| findChildren | Ideas.Text.XML.Interface, Ideas.Text.XML |
| findExercise | Ideas.Service.DomainReasoner, Ideas.Main.Default |
| findIndexM | Ideas.Utils.Prelude |
| findService | Ideas.Service.DomainReasoner, Ideas.Main.Default |
| findSubResult | Ideas.Utils.TestSuite |
| findValuesOfType | Ideas.Service.Types |
| finished | Ideas.Service.State |
| First | |
| 1 (Data Constructor) | Ideas.Utils.TestSuite, Ideas.Text.XML, Ideas.Text.HTML, Ideas.Common.Id, Ideas.Common.Library, Ideas.Encoding.Encoder |
| 2 (Type/Class) | Ideas.Utils.TestSuite, Ideas.Text.XML, Ideas.Text.HTML, Ideas.Common.Id, Ideas.Common.Library, Ideas.Encoding.Encoder |
| first | |
| 1 (Function) | Ideas.Common.View, Ideas.Common.Library, Ideas.Encoding.Encoder |
| 2 (Function) | Ideas.Common.Traversal.Iterator |
| Firsts | Ideas.Common.Strategy.Sequence |
| firsts | Ideas.Common.Strategy.Sequence, Ideas.Service.State |
| firstsOrdered | Ideas.Common.Strategy.Prefix |
| firstsTree | Ideas.Common.Strategy.Sequence |
| firstTerm | Ideas.Common.Derivation, Ideas.Common.Library |
| Fix | Ideas.Common.Classes, Ideas.Common.Library |
| fix | Ideas.Common.Classes, Ideas.Common.Library |
| Fixed | |
| 1 (Data Constructor) | Ideas.Utils.QuickCheck |
| 2 (Type/Class) | Ideas.Utils.QuickCheck |
| 3 (Data Constructor) | Ideas.Text.XML.Document |
| fixp | Ideas.Common.Traversal.Utils |
| fixpl | Ideas.Common.Traversal.Utils |
| fixpoint | Ideas.Utils.Prelude |
| fLabel | Ideas.Common.Strategy.CyclicTree |
| fLeaf | Ideas.Common.Strategy.CyclicTree |
| float | Ideas.Utils.Parsing |
| FMP | |
| 1 (Type/Class) | Ideas.Text.OpenMath.FMP |
| 2 (Data Constructor) | Ideas.Text.OpenMath.FMP |
| fNode | Ideas.Common.Strategy.CyclicTree |
| fns1List | Ideas.Text.OpenMath.Dictionary.Fns1 |
| Focus | Ideas.Common.Traversal.Utils |
| focus | Ideas.Common.Traversal.Utils |
| focusM | Ideas.Common.Traversal.Utils |
| fold | |
| 1 (Function) | Ideas.Common.Strategy.CyclicTree |
| 2 (Function) | Ideas.Common.Strategy.Process |
| foldUnwind | Ideas.Common.Strategy.CyclicTree |
| forAll | Ideas.Utils.QuickCheck |
| forAllProperties | Ideas.Utils.QuickCheck |
| forAllShrink | Ideas.Utils.QuickCheck |
| forallSymbol | Ideas.Text.OpenMath.Dictionary.Quant1 |
| fRec | Ideas.Common.Strategy.CyclicTree |
| frequency | Ideas.Utils.QuickCheck |
| from | Ideas.Common.View, Ideas.Common.Library |
| fromBinary | Ideas.Common.Strategy.StrategyTree |
| fromBinding | Ideas.Common.Environment, Ideas.Common.Library |
| fromBool | Ideas.Common.Classes, 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 |
| fromExercise | Ideas.Encoding.Encoder |
| fromJSON | Ideas.Text.JSON |
| fromLocation | Ideas.Common.Traversal.Navigator, Ideas.Common.Library |
| fromNary | Ideas.Common.Strategy.StrategyTree |
| fromNullary | Ideas.Common.Strategy.StrategyTree |
| fromOMOBJ | Ideas.Encoding.OpenMathSupport |
| fromOpenMath | Ideas.Encoding.OpenMathSupport |
| fromOptions | Ideas.Encoding.Encoder |
| fromS | Ideas.Common.ExerciseTests |
| fromShowString | Ideas.Utils.Prelude |
| fromTerm | Ideas.Common.Rewriting.Term, Ideas.Common.Rewriting, Ideas.Common.Library |
| fromTermList | 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 |
| fromUnary | Ideas.Common.Strategy.StrategyTree |
| fromXML | Ideas.Text.XML |
| fst3 | Ideas.Utils.Prelude |
| full | Ideas.Common.Strategy.Traversal |
| fullbu | Ideas.Common.Strategy.Traversal, Ideas.Common.Strategy, Ideas.Common.Library |
| fulltd | Ideas.Common.Strategy.Traversal, Ideas.Common.Strategy, Ideas.Common.Library |
| fullVersion | |
| 1 (Function) | Ideas.Main.CmdLineOptions |
| 2 (Function) | Ideas.Service.DomainReasoner, Ideas.Main.Default |
| function | Ideas.Common.Rewriting.Term, Ideas.Common.Rewriting, Ideas.Common.Library |
| funResultTy | Ideas.Utils.Typeable |
| fVar | Ideas.Common.Strategy.CyclicTree |