Hets - the Heterogeneous Tool Set (Index - J)

Hets - the Heterogeneous Tool Set

Index - J

JArray	Common.Json
JBool	Common.Json
JEdit	Isabelle.IsaProve
JNull	Common.Json
JNumber	Common.Json
JObject	Common.Json
JoinBevel	GUI.HTkUtils
joinC	HasCASL.Constrain
joinCoreSl	THF.Sublogic
joinData	Common.JSONOrXML
joinDigits	CASL_DL.PredefinedCASLAxioms
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
jQueryJs	PGIP.Server.WebAssets
JSON	Common.JSONOrXML
Json	Common.Json
jsonBody	PGIP.Shared
jsonC	PGIP.Output.Mime
JSONOrXML	Common.JSONOrXML
JsonOut	Driver.Options
JString	Common.Json
Junct	CASL.CompositionTable.ModelFormula
Junction
1 (Data Constructor)	CASL.AS_Basic_CASL
2 (Data Constructor)	CommonLogic.AS_CommonLogic
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