| D | Ideas.Text.JSON |
| DataFormat | Ideas.Service.Request |
| dataformat | Ideas.Service.Request |
| Decl | Ideas.Service.FeedbackScript.Syntax |
| DeclType | Ideas.Service.FeedbackScript.Syntax |
| decode | Ideas.Text.UTF8 |
| decodeM | Ideas.Text.UTF8 |
| Decoder | Ideas.Encoding.Encoder |
| decoderFor | Ideas.Encoding.Encoder |
| decoding | Ideas.Text.XML.Unicode |
| defaultCGI | Ideas.Main.Default |
| defaultConfig | Ideas.Common.Rewriting.Confluence |
| DefaultDecl | Ideas.Text.XML.Document |
| defaultDerivation | Ideas.Common.Exercise, Ideas.Common.Library |
| defaultMain | Ideas.Main.Default |
| defaultScript | Ideas.Service.DomainReasoner, Ideas.Main.Default |
| defintSymbol | Ideas.Text.OpenMath.Dictionary.Calculus1 |
| deleteRef | Ideas.Common.Environment, Ideas.Common.Library |
| deMorganAnd | Ideas.Common.Algebra.BooleanLaws |
| deMorganOr | Ideas.Common.Algebra.BooleanLaws |
| DependencyGraph | Ideas.Common.Strategy.Combinators, Ideas.Common.Strategy, Ideas.Common.Library |
| dependencyGraph | Ideas.Common.Strategy.Combinators, Ideas.Common.Strategy, Ideas.Common.Library |
| deprecate | Ideas.Service.Types |
| depth | Ideas.Common.Traversal.Navigator |
| Derivation | Ideas.Common.Derivation, Ideas.Common.Library |
| derivation | Ideas.Common.DerivationTree |
| derivationLength | Ideas.Common.Derivation, Ideas.Common.Library |
| derivationList | Ideas.Common.Strategy.Abstract, Ideas.Common.Strategy, Ideas.Common.Library |
| derivationM | Ideas.Common.Derivation, Ideas.Common.Library |
| derivations | Ideas.Common.DerivationTree |
| derivationtext | Ideas.Service.FeedbackText |
| DerivationTree | Ideas.Common.DerivationTree |
| descend | Ideas.Common.Utils.Uniplate |
| descendM | Ideas.Common.Utils.Uniplate |
| describe | Ideas.Common.Id, Ideas.Common.Library |
| description | Ideas.Common.Id, Ideas.Common.Library |
| Detour | |
| 1 (Data Constructor) | Ideas.Service.Diagnose |
| 2 (Data Constructor) | Ideas.Service.Submit |
| diagnose | Ideas.Service.Diagnose |
| Diagnosis | Ideas.Service.Diagnose |
| dictionary | Ideas.Text.OpenMath.Symbol |
| diffEnvironment | Ideas.Common.Exercise, Ideas.Common.Library |
| difference | |
| 1 (Function) | Ideas.Common.Rewriting.Difference |
| 2 (Function) | Ideas.Service.Diagnose |
| differenceEqual | |
| 1 (Function) | Ideas.Common.Rewriting.Difference |
| 2 (Function) | Ideas.Service.Diagnose |
| differenceEqualWith | Ideas.Common.Rewriting.Difference |
| differenceWith | Ideas.Common.Rewriting.Difference |
| Different | Ideas.Common.Rewriting.RewriteRule, Ideas.Common.Rewriting, Ideas.Common.Library |
| different | Ideas.Common.Rewriting.RewriteRule, Ideas.Common.Rewriting, Ideas.Common.Library |
| Difficult | Ideas.Common.Exercise, Ideas.Common.Library |
| Difficulty | Ideas.Common.Exercise, Ideas.Common.Library |
| diffPair | Ideas.Service.FeedbackScript.Run |
| diffSymbol | Ideas.Text.OpenMath.Dictionary.Calculus1 |
| digit | Ideas.Text.Parsing |
| discard | Ideas.Common.Utils.QuickCheck |
| discoverDataFormat | Ideas.Service.Request |
| disjoin | Ideas.Common.Utils.QuickCheck |
| disjunctions | Ideas.Common.Algebra.Boolean |
| distinct | Ideas.Common.Utils |
| distributiveLaws | Ideas.Common.Algebra.FieldLaws |
| distributiveSubtractionLaws | Ideas.Common.Algebra.FieldLaws |
| divClass | Ideas.Text.HTML |
| divideSymbol | Ideas.Text.OpenMath.Dictionary.Arith1 |
| doAfter | Ideas.Common.Rule.Abstract, Ideas.Common.Rule, Ideas.Common.Library |
| DocTypeDecl | Ideas.Text.XML.Document |
| document | Ideas.Text.XML.Parser |
| dom | Ideas.Common.Rewriting.Substitution |
| domainofapplicationSymbol | Ideas.Text.OpenMath.Dictionary.Fns1 |
| DomainReasoner | Ideas.Service.DomainReasoner, Ideas.Main.Default |
| domainSymbol | Ideas.Text.OpenMath.Dictionary.Fns1 |
| Done | Ideas.Common.Strategy.Sequence |
| done | Ideas.Common.Strategy.Sequence |
| doubleComplement | Ideas.Common.Algebra.BooleanLaws |
| doubleInverse | Ideas.Common.Algebra.GroupLaws |
| down | Ideas.Common.Traversal.Navigator |
| downLast | Ideas.Common.Traversal.Navigator |
| downs | Ideas.Common.Traversal.Navigator |
| downTo | Ideas.Common.Traversal.Navigator |
| DR | Ideas.Service.DomainReasoner, Ideas.Main.Default |
| DTD | |
| 1 (Type/Class) | Ideas.Text.XML.Document |
| 2 (Data Constructor) | Ideas.Text.XML.Document |
| dtd | Ideas.Text.XML.Document |
| DTDConditional | Ideas.Text.XML.Document |
| DTDParameter | Ideas.Text.XML.Document |
| Dual | |
| 1 (Data Constructor) | Ideas.Text.XML, Ideas.Text.HTML, Ideas.Common.Utils.TestSuite, Ideas.Common.Id, Ideas.Common.Strategy.Configuration, Ideas.Common.Strategy, Ideas.Common.Library, Ideas.Encoding.Encoder |
| 2 (Type/Class) | Ideas.Text.XML, Ideas.Text.HTML, Ideas.Common.Utils.TestSuite, Ideas.Common.Id, Ideas.Common.Strategy.Configuration, Ideas.Common.Strategy, Ideas.Common.Library, Ideas.Encoding.Encoder |
| dualCompl | Ideas.Common.Algebra.Boolean |
| DualMonoid | Ideas.Common.Algebra.Boolean |
| dynamicLinks | Ideas.Encoding.LinkManager |