| calculus1List | Ideas.Text.OpenMath.Dictionary.Calculus1 |
| canBeRestarted | Ideas.Common.Exercise, Ideas.Common.Library |
| canonical | Ideas.Common.View, Ideas.Common.Library |
| canonicalWith | Ideas.Common.View, Ideas.Common.Library |
| canonicalWithM | Ideas.Common.View, Ideas.Common.Library |
| cartesian | Ideas.Utils.Prelude |
| caseSensitive | Ideas.Utils.Parsing |
| cast | Ideas.Utils.Typeable |
| castBetween | Ideas.Utils.Typeable |
| castFrom | Ideas.Utils.Typeable, Ideas.Common.Exercise, Ideas.Common.Library |
| castTo | Ideas.Utils.Typeable, Ideas.Common.Exercise, Ideas.Common.Library |
| CDATA | Ideas.Text.XML.Document |
| cgiBin | Ideas.Encoding.Options |
| cgiBinary | Ideas.Encoding.Request |
| chainl | Ideas.Utils.Parsing |
| chainl1 | Ideas.Utils.Parsing |
| chainr | Ideas.Utils.Parsing |
| chainr1 | Ideas.Utils.Parsing |
| change | Ideas.Common.Traversal.Utils |
| changeAt | Ideas.Utils.Prelude |
| changeFrequency | Ideas.Utils.QuickCheck |
| changeG | Ideas.Common.Traversal.Utils |
| changeId | Ideas.Common.Id, Ideas.Common.Library |
| changeInContext | Ideas.Common.Context, Ideas.Common.Library |
| changeLog | Ideas.Encoding.Logging |
| changeM | Ideas.Common.Traversal.Utils |
| changeRef | Ideas.Common.Environment, Ideas.Common.Library |
| changeTerm | Ideas.Common.Context, Ideas.Common.Library |
| char | Ideas.Utils.Parsing |
| CharData | Ideas.Text.XML.Document |
| CharParser | Ideas.Utils.Parsing |
| CharRef | Ideas.Text.XML.Document |
| chatty | Ideas.Utils.QuickCheck |
| check | Ideas.Common.Strategy.Combinators, Ideas.Common.Strategy, Ideas.Common.Library |
| checkConfluence | Ideas.Common.Rewriting.Confluence |
| checkConfluenceWith | Ideas.Common.Rewriting.Confluence |
| checkExamples | Ideas.Common.ExerciseTests |
| checkExercise | Ideas.Common.ExerciseTests |
| checkLocation | Ideas.Common.Strategy.Location, Ideas.Common.Strategy, Ideas.Common.Library |
| checkParserPretty | Ideas.Common.ExerciseTests |
| checkParserPrettyEx | Ideas.Common.ExerciseTests |
| checkReferences | Ideas.Common.Rule.Abstract, Ideas.Common.Rule, Ideas.Common.Library |
| checkRule | Ideas.Common.Rule.Abstract, Ideas.Common.Rule, Ideas.Common.Library |
| checksForDerivation | Ideas.Common.ExerciseTests |
| checksForTerm | Ideas.Common.ExerciseTests |
| childnr | Ideas.Common.Traversal.Navigator |
| Children | Ideas.Text.XML.Document |
| children | |
| 1 (Function) | Ideas.Utils.Uniplate |
| 2 (Function) | Ideas.Text.XML.Interface, Ideas.Text.XML |
| Choice | |
| 1 (Data Constructor) | Ideas.Text.XML.Document |
| 2 (Type/Class) | Ideas.Common.Strategy.Choice |
| choice | |
| 1 (Function) | Ideas.Utils.Parsing |
| 2 (Function) | Ideas.Common.Strategy.Choice |
| 3 (Function) | Ideas.Common.Strategy.Combinators, Ideas.Common.Strategy, Ideas.Common.Library |
| choose | Ideas.Utils.QuickCheck |
| classA | Ideas.Text.HTML |
| classify | Ideas.Utils.QuickCheck |
| cleanUpStrategy | Ideas.Common.Strategy.Abstract, Ideas.Common.Strategy, Ideas.Common.Library |
| cleanUpStrategyAfter | Ideas.Common.Strategy.Abstract, Ideas.Common.Strategy, Ideas.Common.Library |
| CmdLineOption | Ideas.Main.CmdLineOptions |
| CoArbitrary | Ideas.Utils.QuickCheck |
| coarbitrary | Ideas.Utils.QuickCheck |
| coarbitraryEnum | Ideas.Utils.QuickCheck |
| coarbitraryIntegral | Ideas.Utils.QuickCheck |
| coarbitraryReal | Ideas.Utils.QuickCheck |
| coarbitraryShow | Ideas.Utils.QuickCheck |
| Collapse | Ideas.Common.Strategy.Configuration, Ideas.Common.Strategy, Ideas.Common.Library |
| collapse | Ideas.Common.Strategy.Configuration, Ideas.Common.Strategy, Ideas.Common.Library |
| collect | Ideas.Utils.QuickCheck |
| collectExamples | Ideas.Encoding.RulesInfo |
| Column | Ideas.Utils.Parsing |
| Combinator | Ideas.Common.Strategy.StrategyTree |
| combinator | Ideas.Common.Strategy.StrategyTree |
| command | Ideas.Text.Latex |
| commas | Ideas.Text.Latex |
| commentEnd | Ideas.Utils.Parsing |
| commentLine | Ideas.Utils.Parsing |
| commentStart | Ideas.Utils.Parsing |
| common | Ideas.Utils.QuickCheck |
| compactJSON | Ideas.Text.JSON |
| compactOutput | Ideas.Encoding.Request |
| compactXML | Ideas.Text.XML.Interface, Ideas.Text.XML |
| compareId | Ideas.Common.Id, Ideas.Common.Library |
| complement | Ideas.Common.Classes, Ideas.Common.Predicate, Ideas.Common.Library |
| complete | Ideas.Utils.Parsing |
| complexity | Ideas.Common.Rewriting.Confluence |
| composable | Ideas.Common.Rewriting.Substitution |
| concatId | Ideas.Common.Id, Ideas.Common.Library |
| CondConst | Ideas.Service.FeedbackScript.Syntax |
| Condition | Ideas.Service.FeedbackScript.Syntax |
| Conditional | Ideas.Text.XML.Document |
| conditionIds | Ideas.Service.FeedbackScript.Run |
| CondNot | Ideas.Service.FeedbackScript.Syntax |
| CondRef | Ideas.Service.FeedbackScript.Syntax |
| Config | Ideas.Common.Rewriting.Confluence |
| ConfigAction | Ideas.Common.Strategy.Configuration, Ideas.Common.Strategy, Ideas.Common.Library |
| configure | Ideas.Common.Strategy.Configuration, Ideas.Common.Strategy, Ideas.Common.Library |
| configureS | Ideas.Common.Strategy.Configuration, Ideas.Common.Strategy, Ideas.Common.Library |
| conjoin | Ideas.Utils.QuickCheck |
| Const | |
| 1 (Type/Class) | Ideas.Service.Types |
| 2 (Data Constructor) | Ideas.Service.Types |
| constGen | Ideas.Utils.QuickCheck |
| constGens | Ideas.Utils.QuickCheck |
| Container | Ideas.Common.Classes, Ideas.Common.Library |
| Content | |
| 1 (Type/Class) | Ideas.Text.XML.Document |
| 2 (Type/Class) | Ideas.Text.XML.Interface |
| content | |
| 1 (Function) | Ideas.Text.XML.Document |
| 2 (Function) | Ideas.Text.XML.Interface, Ideas.Text.XML |
| ContentSpec | Ideas.Text.XML.Document |
| Context | |
| 1 (Type/Class) | Ideas.Common.Context, Ideas.Common.Library |
| 2 (Data Constructor) | Ideas.Service.Types |
| ContextNavigator | Ideas.Common.Context, Ideas.Common.Library |
| contexts | Ideas.Utils.Uniplate |
| contextView | Ideas.Common.Context, Ideas.Common.Library |
| Converter | Ideas.Encoding.Encoder |
| Correct | Ideas.Service.Diagnose |
| coshSymbol | Ideas.Text.OpenMath.Dictionary.Transc1 |
| cosSymbol | Ideas.Text.OpenMath.Dictionary.Transc1 |
| cothSymbol | Ideas.Text.OpenMath.Dictionary.Transc1 |
| cotSymbol | Ideas.Text.OpenMath.Dictionary.Transc1 |
| count | Ideas.Utils.Parsing |
| counterexample | Ideas.Utils.QuickCheck |
| cover | Ideas.Utils.QuickCheck |
| CP | Ideas.Text.XML.Document |
| CPName | Ideas.Text.XML.Document |
| create | Ideas.Service.BasicServices |
| cschSymbol | Ideas.Text.OpenMath.Dictionary.Transc1 |
| cscSymbol | Ideas.Text.OpenMath.Dictionary.Transc1 |
| current | Ideas.Common.Traversal.Utils |
| currentInContext | Ideas.Common.Context, Ideas.Common.Library |
| currentTerm | Ideas.Common.Context, Ideas.Common.Library |
| cut | Ideas.Common.Strategy.Choice |
| cutOnStep | Ideas.Common.DerivationTree |
| cutOnTerm | Ideas.Common.DerivationTree |
| CyclicTree | Ideas.Common.Strategy.CyclicTree |
| CyclicTreeAlg | Ideas.Common.Strategy.CyclicTree |