Index - J
| JoinBevel | GUI.HTkUtils |
| joinC | HasCASL.Constrain |
| joinCoreSl | THF.Sublogic |
| joinDigits | CASL_DL.PredefinedCASLAxioms |
| JoinedC | OWL2.ShipSyntax |
| JoinedR | OWL2.ShipSyntax |
| joinG_sentences | Static.GTheory |
| JoinMiter | GUI.HTkUtils |
| joinPlace | Common.Prec |
| joinQuantifiedVars | QBF.Tools |
| joinRanges | Common.Id |
| joinResult | Common.Result |
| joinResultWith | Common.Result |
| JoinRound | GUI.HTkUtils |
| joinSens | Logic.Prover |
| joinSensAux | Logic.Prover |
| joinSL | THF.Sublogic |
| JoinStyle | GUI.HTkUtils |
| joinstyle | GUI.HTkUtils |
| joinSublogic | ExtModal.Sublogic |
| joinSublogics | |
| 1 (Function) | ExtModal.Sublogic |
| 2 (Function) | Logic.Grothendieck |
| JPair | Common.Json |
| Json | Common.Json |
| JsonOut | Driver.Options |
| Junct | CASL.CompositionTable.ModelFormula |
| Junction | |
| 1 (Data Constructor) | CommonLogic.AS_CommonLogic |
| 2 (Data Constructor) | CASL.AS_Basic_CASL |
| JunctionType | OWL2.AS |
| Junctor | CASL.AS_Basic_CASL |
| JustCenter | GUI.HTkUtils |
| JustChar | VSE.Prove |
| JustDiagNode | Static.ArchDiagram |
| justHint | Common.Result |
| Justify | GUI.HTkUtils |
| justify | GUI.HTkUtils |
| JustLeft | GUI.HTkUtils |
| JustNode | Static.DevGraph |
| justPT | Isabelle.IsaConsts |
| justReturn | OMDoc.XmlInterface |
| JustRight | GUI.HTkUtils |
| justTogglePending | Static.History |
| justWarn | Common.Result |