| background | Ideas.Text.HTML.W3CSS |
| badge | Ideas.Text.HTML.W3CSS |
| balanced | Ideas.Utils.Parsing |
| bar | Ideas.Text.HTML.W3CSS |
| barBlock | Ideas.Text.HTML.W3CSS |
| barItem | Ideas.Text.HTML.W3CSS |
| barPos | Ideas.Text.HTML.W3CSS |
| basedIntegerSymbol | Ideas.Text.OpenMath.Dictionary.Nums1 |
| baseUrl | Ideas.Encoding.Options |
| before | Ideas.Service.FeedbackScript.Run |
| belongsTo | Ideas.Common.View, Ideas.Common.Library |
| bests | Ideas.Common.Strategy.Choice |
| bestsOrdered | Ideas.Common.Strategy.Choice |
| between | Ideas.Utils.Parsing |
| BiArrow | Ideas.Common.Classes, Ideas.Common.Library |
| BiFunctor | Ideas.Common.Classes, Ideas.Common.Library |
| big | Ideas.Text.HTML |
| biMap | Ideas.Common.Classes, Ideas.Common.Library |
| Binary | |
| 1 (Type/Class) | Ideas.Common.Strategy.StrategyTree |
| 2 (Data Constructor) | Ideas.Common.Strategy.StrategyTree |
| binary | |
| 1 (Function) | Ideas.Common.Rewriting.Term, Ideas.Common.Rewriting, Ideas.Common.Library |
| 2 (Function) | Ideas.Encoding.Logging |
| binaryGen | Ideas.Utils.QuickCheck |
| binaryGens | Ideas.Utils.QuickCheck |
| Binding | Ideas.Common.Environment, Ideas.Common.Library |
| bindings | Ideas.Common.Environment, Ideas.Common.Library |
| Black | Ideas.Text.HTML.W3CSS |
| blackBoxTests | Ideas.Utils.BlackBoxTests |
| Blind | |
| 1 (Type/Class) | Ideas.Utils.QuickCheck |
| 2 (Data Constructor) | Ideas.Utils.QuickCheck |
| Blue | Ideas.Text.HTML.W3CSS |
| BlueGray | Ideas.Text.HTML.W3CSS |
| bold | Ideas.Text.HTML |
| Bool | Ideas.Service.Types |
| Boolean | |
| 1 (Type/Class) | Ideas.Common.Classes, Ideas.Common.Predicate, Ideas.Common.Library |
| 2 (Data Constructor) | Ideas.Text.JSON |
| BoolValue | Ideas.Common.Classes, Ideas.Common.Predicate, Ideas.Common.Library |
| border | Ideas.Text.HTML.W3CSS |
| borderColor | Ideas.Text.HTML.W3CSS |
| bordered | Ideas.Text.HTML.W3CSS |
| borderPos | Ideas.Text.HTML.W3CSS |
| borderTheme | Ideas.Text.HTML.W3CSS |
| Bottom | Ideas.Text.HTML.W3CSS |
| bottom | Ideas.Text.HTML.W3CSS |
| BottomLeft | Ideas.Text.HTML.W3CSS |
| BottomRight | Ideas.Text.HTML.W3CSS |
| bottomup | Ideas.Common.Strategy.Traversal, Ideas.Common.Strategy, Ideas.Common.Library |
| br | Ideas.Text.HTML |
| brackets | Ideas.Text.Latex |
| branches | Ideas.Common.DerivationTree |
| Brown | Ideas.Text.HTML.W3CSS |
| btn | Ideas.Text.HTML.W3CSS |
| Buggy | |
| 1 (Type/Class) | Ideas.Common.Classes, Ideas.Common.Library |
| 2 (Data Constructor) | Ideas.Service.Diagnose |
| 3 (Data Constructor) | Ideas.Service.Submit |
| buggy | Ideas.Common.Classes, Ideas.Common.Library |
| buggyFMP | Ideas.Text.OpenMath.FMP |
| buggyRule | Ideas.Common.Rule.Abstract, Ideas.Common.Rule, Ideas.Common.Library |
| build | Ideas.Common.View, Ideas.Common.Library |
| builder | Ideas.Text.XML |
| builderXML | Ideas.Text.XML |
| buildExpressionParser | Ideas.Utils.Parsing |
| buildRuleSpec | Ideas.Common.Rewriting.RewriteRule, Ideas.Common.Rewriting, Ideas.Common.Library |
| BuildXML | Ideas.Text.XML |
| bullet | Ideas.Text.HTML |
| Button | |
| 1 (Type/Class) | Ideas.Text.HTML.Templates |
| 2 (Data Constructor) | Ideas.Text.HTML.Templates |
| button | Ideas.Text.HTML.W3CSS |
| buttonStyle | Ideas.Text.HTML.Templates |
| buttonText | Ideas.Text.HTML.Templates |
| buttonUrl | Ideas.Text.HTML.Templates |
| byName | Ideas.Common.Strategy.Configuration, Ideas.Common.Strategy, Ideas.Common.Library |