| I | Ideas.Text.JSON |
| Id | |
| 1 (Type/Class) | Ideas.Common.Id, Ideas.Common.Library |
| 2 (Data Constructor) | Ideas.Service.Types |
| idA | Ideas.Text.HTML |
| ideasLastChanged | Ideas.Main.Revision |
| ideasRevision | Ideas.Main.Revision |
| ideasVersion | Ideas.Main.Revision |
| Identify | Ideas.Common.Id, Ideas.Common.Library |
| identity | Ideas.Common.View, Ideas.Common.Library |
| identitySymbol | Ideas.Text.OpenMath.Dictionary.Fns1 |
| identLetter | Ideas.Utils.Parsing |
| identStart | Ideas.Utils.Parsing |
| IdRefsType | Ideas.Text.XML.Document |
| IdRefType | Ideas.Text.XML.Document |
| idRule | Ideas.Common.Rule.Abstract, Ideas.Common.Rule, Ideas.Common.Library |
| IdType | Ideas.Text.XML.Document |
| Ignore | Ideas.Text.XML.Document |
| image | Ideas.Text.HTML |
| imageSymbol | Ideas.Text.OpenMath.Dictionary.Fns1 |
| Implied | Ideas.Text.XML.Document |
| implies | Ideas.Common.Classes, Ideas.Common.Predicate, Ideas.Common.Library |
| impliesSymbol | Ideas.Text.OpenMath.Dictionary.Logic1 |
| Include | |
| 1 (Data Constructor) | Ideas.Text.XML.Document |
| 2 (Data Constructor) | Ideas.Service.FeedbackScript.Syntax |
| includes | Ideas.Service.FeedbackScript.Syntax |
| inContext | Ideas.Common.Exercise, Ideas.Common.Library |
| Incorrect | Ideas.Service.ProblemDecomposition |
| incSourceColumn | Ideas.Utils.Parsing |
| incSourceLine | Ideas.Utils.Parsing |
| infiniteList | Ideas.Utils.QuickCheck |
| infiniteListOf | Ideas.Utils.QuickCheck |
| infinitySymbol | Ideas.Text.OpenMath.Dictionary.Nums1 |
| Infix | Ideas.Utils.Parsing |
| inits | |
| 1 (Function) | Ideas.Common.Strategy.Derived |
| 2 (Function) | Ideas.Common.Strategy.Combinators, Ideas.Common.Strategy, Ideas.Common.Library |
| InJSON | Ideas.Text.JSON |
| innermost | Ideas.Common.Strategy.Traversal, Ideas.Common.Strategy, Ideas.Common.Library |
| input | |
| 1 (Function) | Ideas.Common.Rule.Parameter, Ideas.Common.Rule, Ideas.Common.Library |
| 2 (Function) | Ideas.Encoding.Logging |
| InputFile | Ideas.Main.CmdLineOptions |
| inputWith | Ideas.Common.Rule.Parameter, Ideas.Common.Rule, Ideas.Common.Library |
| insertRef | Ideas.Common.Environment, Ideas.Common.Library |
| InsufficientCoverage | Ideas.Utils.QuickCheck |
| Int | Ideas.Service.Types |
| interleave | |
| 1 (Function) | Ideas.Common.Strategy.Derived |
| 2 (Function) | Ideas.Common.Strategy.Combinators, Ideas.Common.Strategy, Ideas.Common.Library |
| interleaveId | Ideas.Common.Strategy.Combinators |
| intSymbol | Ideas.Text.OpenMath.Dictionary.Calculus1 |
| inverse | Ideas.Common.View, Ideas.Common.Library |
| inverseSymbol | Ideas.Text.OpenMath.Dictionary.Fns1 |
| InXML | Ideas.Text.XML |
| IO | Ideas.Service.Types |
| ioProperty | Ideas.Utils.QuickCheck |
| ipaddress | Ideas.Encoding.Logging |
| isAssociative | |
| 1 (Function) | Ideas.Common.Rewriting.Term, Ideas.Common.Rewriting, Ideas.Common.Library |
| 2 (Function) | Ideas.Common.Strategy.StrategyTree |
| isBinary | Ideas.Common.Rewriting.Term, Ideas.Common.Rewriting, Ideas.Common.Library |
| isBuggy | Ideas.Common.Classes, Ideas.Common.Library |
| isCanonical | Ideas.Common.View, Ideas.Common.Library |
| isCanonicalWith | Ideas.Common.View, Ideas.Common.Library |
| isCombiningChar | Ideas.Text.XML.Unicode |
| isConfigId | Ideas.Common.Strategy.Configuration, Ideas.Common.Strategy, Ideas.Common.Library |
| isConfluent | Ideas.Common.Rewriting.Confluence |
| isDigit | Ideas.Text.XML.Unicode |
| isEmpty | |
| 1 (Function) | Ideas.Common.Strategy.Choice |
| 2 (Function) | Ideas.Common.Derivation, Ideas.Common.Library |
| isEmptyPrefix | Ideas.Common.Strategy.Prefix, Ideas.Common.Strategy, Ideas.Common.Library |
| isEnterRule | Ideas.Common.Strategy.Symbol |
| isEnterSymbol | Ideas.Common.Strategy.Symbol |
| isError | Ideas.Utils.TestSuite |
| isExitRule | Ideas.Common.Strategy.Symbol |
| isExtender | Ideas.Text.XML.Unicode |
| isFalse | Ideas.Common.Classes, Ideas.Common.Predicate, Ideas.Common.Library |
| isFinal | Ideas.Common.Traversal.Iterator |
| isFirst | Ideas.Common.Traversal.Iterator |
| isFunction | Ideas.Common.Rewriting.Term, Ideas.Common.Rewriting, Ideas.Common.Library |
| IsId | Ideas.Common.Id, Ideas.Common.Library |
| isLabel | Ideas.Common.Strategy.CyclicTree |
| isLeaf | |
| 1 (Function) | Ideas.Common.Traversal.Navigator |
| 2 (Function) | Ideas.Common.Strategy.CyclicTree |
| isLetter | Ideas.Text.XML.Unicode |
| isMajor | Ideas.Common.Classes, Ideas.Common.Library |
| IsMatcher | Ideas.Common.View, Ideas.Common.Library |
| isMetaVar | Ideas.Common.Rewriting.Term, Ideas.Common.Rewriting, Ideas.Common.Library |
| isMinor | Ideas.Common.Classes, Ideas.Common.Library |
| isNode | Ideas.Common.Strategy.CyclicTree |
| Iso | Ideas.Service.Types |
| isOk | Ideas.Utils.TestSuite |
| Isomorphism | Ideas.Common.View, Ideas.Common.Library |
| isPrivate | Ideas.Common.Exercise, Ideas.Common.Library |
| isPublic | Ideas.Common.Exercise, Ideas.Common.Library |
| isReady | Ideas.Common.Exercise, Ideas.Common.Library |
| isRewriteRule | Ideas.Common.Rule.Abstract, Ideas.Common.Rule, Ideas.Common.Library |
| IsStrategy | Ideas.Common.Strategy.Abstract, Ideas.Common.Strategy, Ideas.Common.Library |
| isSubsetOf | Ideas.Utils.Prelude |
| isSuitable | Ideas.Common.Exercise, Ideas.Common.Library |
| isSymbol | Ideas.Common.Rewriting.Term, Ideas.Common.Rewriting, Ideas.Common.Library |
| IsTerm | Ideas.Common.Rewriting.Term, Ideas.Common.Rewriting, Ideas.Common.Library |
| isTop | Ideas.Common.Traversal.Navigator |
| isTrue | Ideas.Common.Classes, Ideas.Common.Predicate, Ideas.Common.Library |
| IsTypeable | Ideas.Utils.Typeable |
| isUnary | Ideas.Common.Rewriting.Term, Ideas.Common.Rewriting, Ideas.Common.Library |
| isUTF8 | Ideas.Text.UTF8 |
| isVariable | Ideas.Common.Rewriting.Term, Ideas.Common.Rewriting, Ideas.Common.Library |
| IsView | Ideas.Common.View, Ideas.Common.Library |
| isWarning | Ideas.Utils.TestSuite |
| iSymbol | Ideas.Text.OpenMath.Dictionary.Nums1 |
| italic | Ideas.Text.HTML |
| Iterator | Ideas.Common.Traversal.Iterator |