| 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.Common.Utils |
| caseSensitive | Ideas.Text.Parsing |
| castFrom | Ideas.Common.Exercise, Ideas.Common.Library |
| castTo | Ideas.Common.Exercise, Ideas.Common.Library |
| CDATA | Ideas.Text.XML.Document |
| cgiBinary | Ideas.Service.Request |
| chainl | Ideas.Text.Parsing |
| chainl1 | Ideas.Text.Parsing |
| chainr | Ideas.Text.Parsing |
| chainr1 | Ideas.Text.Parsing |
| change | Ideas.Common.Traversal.Utils |
| changeAt | Ideas.Common.Utils |
| changeFrequency | Ideas.Common.Utils.QuickCheck |
| changeG | Ideas.Common.Traversal.Utils |
| changeId | Ideas.Common.Id, Ideas.Common.Library |
| changeInContext | Ideas.Common.Context, Ideas.Common.Library |
| changeLog | Ideas.Main.Logging |
| changeM | Ideas.Common.Traversal.Utils |
| changeRef | Ideas.Common.Environment, Ideas.Common.Library |
| changeTerm | Ideas.Common.Context, Ideas.Common.Library |
| char | Ideas.Text.Parsing |
| CharData | Ideas.Text.XML.Document |
| CharParser | Ideas.Text.Parsing |
| CharRef | Ideas.Text.XML.Document |
| chatty | Ideas.Common.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.Common.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.Text.Parsing |
| 2 (Function) | Ideas.Common.Strategy.Choice |
| 3 (Function) | Ideas.Common.Strategy.Combinators, Ideas.Common.Strategy, Ideas.Common.Library |
| choose | Ideas.Common.Utils.QuickCheck |
| classA | Ideas.Text.HTML |
| classify | Ideas.Common.Utils.QuickCheck |
| cleanUpStrategy | Ideas.Common.Strategy.Abstract, Ideas.Common.Strategy, Ideas.Common.Library |
| cleanUpStrategyAfter | Ideas.Common.Strategy.Abstract, Ideas.Common.Strategy, Ideas.Common.Library |
| CoArbitrary | Ideas.Common.Utils.QuickCheck |
| coarbitrary | Ideas.Common.Utils.QuickCheck |
| coarbitraryEnum | Ideas.Common.Utils.QuickCheck |
| coarbitraryIntegral | Ideas.Common.Utils.QuickCheck |
| coarbitraryReal | Ideas.Common.Utils.QuickCheck |
| coarbitraryShow | Ideas.Common.Utils.QuickCheck |
| CoBoolean | Ideas.Common.Algebra.Boolean |
| CoField | Ideas.Common.Algebra.Field |
| CoGroup | Ideas.Common.Algebra.Group |
| Collapse | Ideas.Common.Strategy.Configuration, Ideas.Common.Strategy, Ideas.Common.Library |
| collapse | Ideas.Common.Strategy.Configuration, Ideas.Common.Strategy, Ideas.Common.Library |
| collect | Ideas.Common.Utils.QuickCheck |
| collectExamples | Ideas.Encoding.RulesInfo |
| Column | Ideas.Text.Parsing |
| Combinator | Ideas.Common.Strategy.StrategyTree |
| combinator | Ideas.Common.Strategy.StrategyTree |
| commentEnd | Ideas.Text.Parsing |
| commentLine | Ideas.Text.Parsing |
| commentStart | Ideas.Text.Parsing |
| common | Ideas.Common.Utils.QuickCheck |
| commutative | Ideas.Common.Algebra.GroupLaws |
| commutativeFor | Ideas.Common.Algebra.GroupLaws |
| commutativeMonoidLaws | Ideas.Common.Algebra.GroupLaws |
| commutativeRingLaws | Ideas.Common.Algebra.FieldLaws |
| CoMonoid | Ideas.Common.Algebra.Group |
| CoMonoidZero | Ideas.Common.Algebra.Group |
| compactJSON | Ideas.Text.JSON |
| compactOutput | Ideas.Service.Request |
| compactXML | Ideas.Text.XML.Interface, Ideas.Text.XML |
| compareId | Ideas.Common.Id, Ideas.Common.Library |
| complement | Ideas.Common.Algebra.Boolean, Ideas.Common.Predicate, Ideas.Common.Library |
| complementAndLaws | Ideas.Common.Algebra.BooleanLaws |
| complementFalse | Ideas.Common.Algebra.BooleanLaws |
| complementOrLaws | Ideas.Common.Algebra.BooleanLaws |
| complementTrue | Ideas.Common.Algebra.BooleanLaws |
| complete | Ideas.Text.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.Common.Utils.QuickCheck |
| conjunctions | Ideas.Common.Algebra.Boolean |
| Const | |
| 1 (Type/Class) | Ideas.Service.Types |
| 2 (Data Constructor) | Ideas.Service.Types |
| constGen | Ideas.Common.Utils.QuickCheck |
| constGens | Ideas.Common.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.Common.Utils.Uniplate |
| contextView | Ideas.Common.Context, Ideas.Common.Library |
| Converter | Ideas.Encoding.Encoder |
| CoRing | Ideas.Common.Algebra.Field |
| Correct | Ideas.Service.Diagnose |
| CoSemiRing | Ideas.Common.Algebra.Field |
| 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.Text.Parsing |
| counterexample | Ideas.Common.Utils.QuickCheck |
| cover | Ideas.Common.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.CyclicTree |
| CyclicTreeAlg | Ideas.Common.CyclicTree |