| ul | Ideas.Text.HTML |
| Unary | |
| 1 (Type/Class) | Ideas.Common.Strategy.StrategyTree |
| 2 (Data Constructor) | Ideas.Common.Strategy.StrategyTree |
| unary | Ideas.Common.Rewriting.Term, Ideas.Common.Rewriting, Ideas.Common.Library |
| unaryArbGen | Ideas.Common.Utils.QuickCheck |
| unaryGen | Ideas.Common.Utils.QuickCheck |
| unaryGens | Ideas.Common.Utils.QuickCheck |
| unaryMinusSymbol | Ideas.Text.OpenMath.Dictionary.Arith1 |
| UnbalancedError | Ideas.Text.Parsing |
| uncommon | Ideas.Common.Utils.QuickCheck |
| unescaped | Ideas.Text.XML |
| unexpected | Ideas.Text.Parsing |
| Unfocus | Ideas.Common.Traversal.Utils |
| unfocus | Ideas.Common.Traversal.Utils |
| unificationTests | Ideas.Common.Rewriting.Unification |
| unify | Ideas.Common.Rewriting.Unification |
| uniGen | Ideas.Common.Traversal.Tests |
| Uniplate | Ideas.Common.Utils.Uniplate |
| uniplate | Ideas.Common.Utils.Uniplate |
| UniplateNavigator | Ideas.Common.Traversal.Navigator |
| Unit | Ideas.Service.Types |
| universe | Ideas.Common.Utils.Uniplate |
| Unknown | |
| 1 (Data Constructor) | Ideas.Service.Diagnose |
| 2 (Data Constructor) | Ideas.Service.Submit |
| UnknownAttribute | Ideas.Service.FeedbackScript.Analysis |
| UnknownCondAttr | Ideas.Service.FeedbackScript.Analysis |
| UnknownExercise | Ideas.Service.FeedbackScript.Analysis |
| UnknownFeedback | Ideas.Service.FeedbackScript.Analysis |
| unlabel | Ideas.Common.Strategy.Abstract |
| unliftFocus | Ideas.Common.Traversal.Utils |
| unliftWrapper | Ideas.Common.Traversal.Utils |
| unqualified | Ideas.Common.Id, Ideas.Common.Library |
| until | Ideas.Common.Strategy.Combinators, Ideas.Common.Strategy |
| untilS | Ideas.Common.Library |
| unwrap | Ideas.Common.Traversal.Utils |
| unwrapArrow | Ideas.Encoding.Encoder |
| unwrapMonad | Ideas.Encoding.Encoder |
| up | Ideas.Common.Traversal.Navigator |
| Update | Ideas.Common.Traversal.Utils |
| update | Ideas.Common.Traversal.Utils |
| updateAnnotations | Ideas.Common.DerivationTree |
| updateRefs | Ideas.Common.Rule.EnvironmentMonad, Ideas.Common.Rule, Ideas.Common.Library |
| updateState | Ideas.Text.Parsing |
| updateSteps | Ideas.Common.Derivation, Ideas.Common.Library |
| upper | Ideas.Text.Parsing |
| urlForApplications | Ideas.Encoding.LinkManager |
| urlForCSS | Ideas.Encoding.LinkManager |
| urlForDerivation | Ideas.Encoding.LinkManager |
| urlForDerivations | Ideas.Encoding.LinkManager |
| urlForExamples | Ideas.Encoding.LinkManager |
| urlForExercise | Ideas.Encoding.LinkManager |
| urlForExercises | Ideas.Encoding.LinkManager |
| urlForFirsts | Ideas.Encoding.LinkManager |
| urlForImage | Ideas.Encoding.LinkManager |
| urlForIndex | Ideas.Encoding.LinkManager |
| urlForMicrosteps | Ideas.Encoding.LinkManager |
| urlForRandomExample | Ideas.Encoding.LinkManager |
| urlForRequest | Ideas.Encoding.LinkManager |
| urlForRule | Ideas.Encoding.LinkManager |
| urlForRules | Ideas.Encoding.LinkManager |
| urlForService | Ideas.Encoding.LinkManager |
| urlForServices | Ideas.Encoding.LinkManager |
| urlForState | Ideas.Encoding.LinkManager |
| urlForStrategy | Ideas.Encoding.LinkManager |
| urlForTestReport | Ideas.Encoding.LinkManager |
| use | Ideas.Common.Context, Ideas.Common.Library |
| useC | Ideas.Common.Context, Ideas.Common.Library |
| useDecl | Ideas.Common.Strategy.Abstract |
| usedSeed | Ideas.Common.Utils.QuickCheck |
| usedSize | Ideas.Common.Utils.QuickCheck |
| useGenerator | Ideas.Common.Exercise, Ideas.Common.Library |
| useJSONTerm | Ideas.Service.Request |
| useLogging | Ideas.Service.Request |
| useOpenMath | Ideas.Service.Request |
| useProperty | Ideas.Common.Utils.TestSuite |
| usePropertyWith | Ideas.Common.Utils.TestSuite |
| userid | Ideas.Main.Logging |
| useTypeable | Ideas.Common.Exercise, Ideas.Common.Library |