Index - F
| F | DFOL.AS_DFOL |
| f2Formula | Comorphisms.CASL2PCFOL |
| Fac | SoftFOL.Sign |
| facetList | OWL2.Keywords |
| facetRestrictionK | OWL2.XMLKeywords |
| facetToIRI | OWL2.AS |
| facetValuePair | OWL2.Parse |
| Fact | OWL2.MS |
| fact | |
| 1 (Function) | OWL2.ManchesterParser |
| 2 (Function) | OWL2.Profiles |
| factConsChecker | OWL2.ProveFact |
| factor | CSL.Parse_AS_Basic |
| factorialS | CSL.Keywords |
| factorizeS | CSL.Keywords |
| factorS | CSL.Keywords |
| factProver | OWL2.ProveFact |
| factsC | OWL2.ColonKeywords |
| failMsg | OWL2.StaticAnalysis |
| Failure | |
| 1 (Data Constructor) | Static.FromXmlUtils |
| 2 (Type/Class) | CspCASL.Logic_CspCASL |
| 3 (Data Constructor) | CspCASL.Logic_CspCASL |
| failureCspCASL | CspCASL.Logic_CspCASL |
| failX | Common.XUpdate |
| fakeModule | Haskell.HatParser |
| fakeSN | Haskell.HatParser |
| false | Isabelle.IsaConsts |
| FalseA | TopHybrid.AS_TopHybrid |
| FalseAtom | QBF.AS_BASIC_QBF |
| falseC | Fpl.Sign |
| falseForm | CASL.AS_Basic_CASL |
| falseFS | THF.HasCASL2THF0Buildins |
| falseId | HasCASL.Builtin |
| falsePrec | DFOL.Utils |
| falsePT | Isabelle.IsaConsts |
| falseS | Common.Keywords |
| falseT | CASL_DL.PredefinedCASLAxioms |
| falseTerm | CASL.Kif2CASL |
| False_atom | Propositional.AS_BASIC_Propositional |
| family | GUI.HTkUtils |
| fatal_error | Common.Result |
| fB | OWL2.Profiles |
| Fc | Adl.As |
| fcat | |
| 1 (Function) | Common.Lib.Pretty |
| 2 (Function) | Common.Doc |
| fcList | Static.DgUtils |
| FCMorphism | FreeCAD.Logic_FreeCAD |
| fct | Common.XPath |
| FctEnv | Common.XPath |
| Fd | Adl.As |
| fexprS | CSL.Keywords |
| fg | GUI.HTkUtils |
| fgstipple | GUI.HTkUtils |
| Fi | Adl.As |
| fieldName | Haskell.HatParser |
| fileDialogStr | GUI.HTkUtils |
| fileExtend | CMDL.Utils |
| FileExtensions | |
| 1 (Type/Class) | Interfaces.GenericATPState |
| 2 (Data Constructor) | Interfaces.GenericATPState |
| fileExtensions | Interfaces.GenericATPState |
| fileFilter | CMDL.Utils |
| fileLoaded | CMDL.DataTypes |
| FileMenuAct | |
| 1 (Data Constructor) | GUI.UDGUtils |
| 2 (Type/Class) | GUI.UDGUtils |
| FileMenuOption | GUI.UDGUtils |
| FileName | |
| 1 (Type/Class) | SoftFOL.Sign |
| 2 (Data Constructor) | SoftFOL.Sign |
| filename | |
| 1 (Function) | GUI.HTkUtils |
| 2 (Function) | Interfaces.DataTypes |
| fileOpenDialog | |
| 1 (Function) | GUI.GtkUtils |
| 2 (Function) | GUI.Utils |
| fileOpenDialogExt | GUI.GtkUtils |
| fileparse | Common.Utils |
| filePathToLibId | Common.LibName |
| fileSaveDialog | |
| 1 (Function) | GUI.GtkUtils |
| 2 (Function) | GUI.Utils |
| fileSaveDialogExt | GUI.GtkUtils |
| FileSource | THF.As |
| fileToLibName | Driver.ReadFn |
| fileType | Driver.Options |
| Fill | GUI.HTkUtils |
| FilledCanvasItem | GUI.HTkUtils |
| filling | GUI.HTkUtils |
| FillSpec | GUI.HTkUtils |
| filter | |
| 1 (Function) | Common.OrderedMap |
| 2 (Function) | Common.Lib.MapSet |
| filter2 | GUI.UDGUtils |
| filter2IO | GUI.UDGUtils |
| filterAliases | HasCASL.TypeAna |
| filterAtLeastOneSort | Maude.PreComorphism |
| filterDiags | Common.Result |
| FilterExpr | Common.XPath |
| filterExpr | Common.XPath |
| filterLocalNodesByName | Static.DevGraph |
| filterMapWithList | Common.Utils |
| filterObjProp | OWL2.StaticAnalysis |
| filterOpenGoals | Proofs.BatchProcessing |
| filterPathsByMorphism | Proofs.EdgeUtils |
| filterRefNodesByName | Static.DevGraph |
| filterWithKey | |
| 1 (Function) | Common.OrderedMap |
| 2 (Function) | Common.Lib.MapSet |
| finalizeLink | Static.FromXml |
| finalPrincipalNodeType | Common.XPath |
| finalStep | Common.XPath |
| finalUnion | CASL.SymbolMapAnalysis |
| final_union | Logic.Logic |
| FindBy | Static.XSimplePath |
| findComorphism | Logic.Grothendieck |
| findComorphismPaths | Logic.Grothendieck |
| findConditionalRecord | CASL.Utils |
| findConditionalT | CASL.Utils |
| findElementInMap | CSMOF.Parser |
| Finder | |
| 1 (Type/Class) | Static.XSimplePath |
| 2 (Type/Class) | GUI.GtkConsistencyChecker |
| 3 (Data Constructor) | GUI.GtkConsistencyChecker |
| 4 (Type/Class) | GUI.GtkAutomaticProofs |
| 5 (Data Constructor) | GUI.GtkAutomaticProofs |
| finder | |
| 1 (Function) | GUI.GtkConsistencyChecker |
| 2 (Function) | GUI.GtkAutomaticProofs |
| findFileOfLibNameAux | Driver.ReadFn |
| findFloat | FreeCAD.Translator |
| findImplied | OWL2.StaticAnalysis |
| findLNode | Taxonomy.MMiSSOntology |
| findOppProperty | QVTR.StatAna |
| findOppPropertyByTypeAndRole | QVTR.StatAna |
| findPlacement | FreeCAD.Translator |
| findProfileForProcName | CspCASL.StatAnaCSP |
| findProperty | QVTR.StatAna |
| findPropertyByTypeAndRole | QVTR.StatAna |
| findPropertyElemByTypeAndRole | QVTR.StatAna |
| findPropertyInHierarchy | QVTR.StatAna |
| findPropVec | FreeCAD.Translator |
| findRef | FreeCAD.Translator |
| findSpec | Maude.Shellout |
| findState | VSE.Prove |
| findTypeFailure | Adl.StatAna |
| findUniqueId | Comorphisms.HasCASL2Haskell |
| findVarFromName | QVTR.StatAna |
| fineGrainedSelectionF | Proofs.AbstractState |
| FinInt | CSL.TreePO |
| finishedNames | CMDL.Utils |
| finishHTk | GUI.HTkUtils |
| First | |
| 1 (Data Constructor) | GUI.HTkUtils |
| 2 (Type/Class) | GUI.HTkUtils |
| FirstEnd | GUI.HTkUtils |
| FirstOrder | CommonLogic.Sublogic |
| firstS | CSL.Keywords |
| firstTerm | Isabelle.IsaSign |
| firstThree | FreeCAD.Translator |
| fitS | Common.Keywords |
| Fitted | |
| 1 (Type/Class) | Static.DevGraph |
| 2 (Data Constructor) | Static.DevGraph |
| FIT_ARG | Syntax.AS_Structured |
| FIT_ARG_UNIT | Syntax.AS_Architecture |
| Fit_arg_unit | Syntax.AS_Architecture |
| Fit_spec | Syntax.AS_Structured |
| Fit_view | Syntax.AS_Structured |
| Fix | |
| 1 (Type/Class) | Isabelle.IsaExport |
| 2 (Data Constructor) | Isabelle.IsaExport |
| FixDef | Fpl.As |
| FixedPoint | ExtModal.AS_ExtModal |
| FixedSet | Isabelle.IsaSign |
| Fixes | |
| 1 (Type/Class) | Isabelle.IsaExport |
| 2 (Data Constructor) | Isabelle.IsaExport |
| fixes | Isabelle.IsaSign |
| fixities | Haskell.HatAna |
| fixitiesD | Haskell.HatParser |
| Fixity | OMDoc.DataTypes |
| fixMRec | Comorphisms.Hs2HOLCFaux |
| fixName | Isabelle.IsaExport |
| fixpS | CSL.Keywords |
| Fixrec | |
| 1 (Type/Class) | Isabelle.IsaExport |
| 2 (Data Constructor) | Isabelle.IsaExport |
| 3 (Data Constructor) | Isabelle.IsaSign |
| FixrecEquation | |
| 1 (Type/Class) | Isabelle.IsaExport |
| 2 (Data Constructor) | Isabelle.IsaExport |
| 3 (Type/Class) | Isabelle.IsaSign |
| 4 (Data Constructor) | Isabelle.IsaSign |
| fixrecEquationPatterns | Isabelle.IsaSign |
| fixrecEquationPremises | Isabelle.IsaSign |
| fixrecEquationTerm | Isabelle.IsaSign |
| fixrecEquationUnchecked | |
| 1 (Function) | Isabelle.IsaExport |
| 2 (Function) | Isabelle.IsaSign |
| FixrecEquation_Attrs | |
| 1 (Type/Class) | Isabelle.IsaExport |
| 2 (Data Constructor) | Isabelle.IsaExport |
| FixrecFun | |
| 1 (Type/Class) | Isabelle.IsaExport |
| 2 (Data Constructor) | Isabelle.IsaExport |
| fixrecFunName | Isabelle.IsaExport |
| FixrecFun_Attrs | |
| 1 (Type/Class) | Isabelle.IsaExport |
| 2 (Data Constructor) | Isabelle.IsaExport |
| fixrecS | Isabelle.IsaConsts |
| fixS | CSL.Keywords |
| Fix_Attrs | |
| 1 (Type/Class) | Isabelle.IsaExport |
| 2 (Data Constructor) | Isabelle.IsaExport |
| FI_Description_Item | THF.As |
| Fi_Domain | THF.As |
| Fi_domain | SoftFOL.Sign |
| Fi_Functors | THF.As |
| Fi_functors | SoftFOL.Sign |
| FI_Iquote_Item | THF.As |
| Fi_Predicates | THF.As |
| Fi_predicates | SoftFOL.Sign |
| Flag | Driver.Options |
| flagHideEdges | GUI.GraphTypes |
| flagHideNames | GUI.GraphTypes |
| flagHideNodes | GUI.GraphTypes |
| Flags | |
| 1 (Type/Class) | GUI.GraphTypes |
| 2 (Data Constructor) | GUI.GraphTypes |
| flash | GUI.HTkUtils |
| Flat | GUI.HTkUtils |
| flat | Common.Parsec |
| flatConj | |
| 1 (Function) | Propositional.Fold |
| 2 (Function) | QBF.Tools |
| flatDisj | |
| 1 (Function) | Propositional.Fold |
| 2 (Function) | QBF.Tools |
| flatDom | Isabelle.IsaConsts |
| flatG_sentences | Static.GTheory |
| flatHistory | Static.History |
| flatIntersection | OWL2.MS2Ship |
| flatKind | HasCASL.Unify |
| flatOp | CspCASLProver.Consts |
| flatS | CspCASLProver.Consts |
| flatSet | Common.Lib.Rel |
| flatten | |
| 1 (Function) | Propositional.Tools |
| 2 (Function) | QBF.Tools |
| flattenDis | |
| 1 (Function) | Propositional.Tools |
| 2 (Function) | QBF.Tools |
| flattenHeader | Common.Lib.Tabular |
| flattenItem | Common.Item |
| flattenMap | THF.Poly |
| flattenMaybe | OMDoc.XmlInterface |
| flattenPattern | Comorphisms.HasCASL2IsabelleHOL |
| flattenSource | GUI.UDGUtils |
| flattenTuple | Comorphisms.THFP2THF0 |
| flattenTuples | Comorphisms.THFP2THF0 |
| flatVAR_DECLs | CASL.Quantification |
| fleur | GUI.HTkUtils |
| Flexibility | GUI.HTkUtils |
| Flexible | |
| 1 (Data Constructor) | GUI.HTkUtils |
| 2 (Data Constructor) | Hybrid.AS_Hybrid |
| 3 (Data Constructor) | Modal.AS_Modal |
| flexibleS | Common.Keywords |
| flexOps | |
| 1 (Function) | ExtModal.ExtModalSign |
| 2 (Function) | Modal.ModalSign |
| flexPreds | |
| 1 (Function) | ExtModal.ExtModalSign |
| 2 (Function) | Modal.ModalSign |
| flift2S | Isabelle.IsaConsts |
| fliftbinS | Isabelle.IsaConsts |
| flipLiterals | Propositional.Fold |
| float | |
| 1 (Function) | Common.Lib.Pretty |
| 2 (Function) | CASL_DL.PredefinedCASLAxioms |
| floatBase | OWL2.AS |
| floatDecimal | OWL2.Parse |
| floatExp | OWL2.AS |
| Floating | Common.GlobalAnnotations |
| floatingPointLit | OWL2.Parse |
| floatingS | Common.Keywords |
| FloatLit | |
| 1 (Type/Class) | OWL2.AS |
| 2 (Data Constructor) | OWL2.AS |
| floatS | OWL2.Keywords |
| floatToInt | OWL2.AS |
| Float_anno | Common.AS_Annotation |
| float_lit | Common.GlobalAnnotations |
| Floor | THF.As |
| floorS | CSL.Keywords |
| flushRight | Common.Doc |
| flushright | Common.LaTeX_funs |
| fmapFromMaybe | OMDoc.XmlInterface |
| fmapLI | OMDoc.Import |
| fmapMaybe | OMDoc.XmlInterface |
| fmapNM | OMDoc.Export |
| FMP | |
| 1 (Type/Class) | OMDoc.OMDocInterface |
| 2 (Data Constructor) | OMDoc.OMDocInterface |
| fmpContent | OMDoc.OMDocInterface |
| fmpLogic | OMDoc.OMDocInterface |
| fName | |
| 1 (Function) | GUI.GtkConsistencyChecker |
| 2 (Function) | GUI.GtkAutomaticProofs |
| FNode | |
| 1 (Type/Class) | Common.AutoProofUtils |
| 2 (Data Constructor) | Common.AutoProofUtils |
| 3 (Type/Class) | GUI.GtkConsistencyChecker |
| 4 (Data Constructor) | GUI.GtkConsistencyChecker |
| foAtpResult | SoftFOL.MathServParsing |
| FoAtpStatus | SoftFOL.MathServParsing |
| foAtpStatus | SoftFOL.MathServParsing |
| FocusIn | GUI.HTkUtils |
| FocusModel | GUI.HTkUtils |
| focusModel | GUI.HTkUtils |
| focusNode | |
| 1 (Function) | GUI.GraphAbstraction |
| 2 (Function) | GUI.GraphLogic |
| FocusOut | GUI.HTkUtils |
| FofKind | SoftFOL.Sign |
| FOL | |
| 1 (Data Constructor) | CASL.Sublogic |
| 2 (Data Constructor) | HasCASL.Sublogic |
| fol | Comorphisms.CommonLogic2CASL |
| foldAbort | VSE.Fold |
| foldApplication | CASL.Fold |
| foldApplTerm | HasCASL.FoldTerm |
| foldAsPattern | HasCASL.FoldTerm |
| foldAss | CSL.Fold |
| foldAssign | VSE.Fold |
| foldAtom | CASL.Fold |
| foldBlock | VSE.Fold |
| foldBoxOrDiamond | CoCASL.StatAna |
| foldBracketTerm | HasCASL.FoldTerm |
| foldBracketType | HasCASL.FoldType |
| foldCall | VSE.Fold |
| foldCaseTerm | HasCASL.FoldTerm |
| foldCast | CASL.Fold |
| foldCatchLeft | Common.SAX |
| foldCMD | CSL.Fold |
| foldCmd | CSL.Fold |
| foldCond | CSL.Fold |
| foldConditional | CASL.Fold |
| foldConjunction | |
| 1 (Function) | Propositional.Fold |
| 2 (Function) | QBF.Tools |
| foldCoSort_gen_ax | CoCASL.StatAna |
| foldC_Formula | CoCASL.StatAna |
| foldDefinedness | CASL.Fold |
| foldDisjunction | |
| 1 (Function) | Propositional.Fold |
| 2 (Function) | QBF.Tools |
| foldEq | HasCASL.FoldTerm |
| foldEquation | CASL.Fold |
| foldEquivalence | |
| 1 (Function) | Propositional.Fold |
| 2 (Function) | QBF.Tools |
| foldExists | QBF.Tools |
| foldExpandedType | HasCASL.FoldType |
| foldExtFORMULA | CASL.Fold |
| foldExtTERM | CASL.Fold |
| foldFalseAtom | QBF.Tools |
| foldFalse_atom | Propositional.Fold |
| foldForAll | QBF.Tools |
| foldFormula | |
| 1 (Function) | CASL.Fold |
| 2 (Function) | Propositional.Fold |
| 3 (Function) | QBF.Tools |
| foldIf | VSE.Fold |
| foldImplication | |
| 1 (Function) | Propositional.Fold |
| 2 (Function) | QBF.Tools |
| foldInt | CSL.Fold |
| foldInterval | CSL.Fold |
| foldJunction | CASL.Fold |
| foldKindedType | HasCASL.FoldType |
| foldLambdaTerm | HasCASL.FoldTerm |
| foldLetTerm | HasCASL.FoldTerm |
| foldList | CSL.Fold |
| foldMembership | CASL.Fold |
| foldMixfixTerm | HasCASL.FoldTerm |
| foldMixfixType | HasCASL.FoldType |
| foldMixfix_braced | CASL.Fold |
| foldMixfix_bracketed | CASL.Fold |
| foldMixfix_cast | CASL.Fold |
| foldMixfix_formula | CASL.Fold |
| foldMixfix_parenthesized | CASL.Fold |
| foldMixfix_qual_pred | CASL.Fold |
| foldMixfix_sorted_term | CASL.Fold |
| foldMixfix_term | CASL.Fold |
| foldMixfix_token | CASL.Fold |
| foldMixTypeTerm | HasCASL.FoldTerm |
| foldModality | CoCASL.StatAna |
| foldNAry | CSL.AS_BASIC_CSL |
| foldNegation | |
| 1 (Function) | CASL.Fold |
| 2 (Function) | Propositional.Fold |
| 3 (Function) | QBF.Tools |
| foldOnlyTerm | CASL.Fold |
| foldOp | CSL.Fold |
| foldPredication | |
| 1 (Function) | CASL.Fold |
| 2 (Function) | Propositional.Fold |
| 3 (Function) | QBF.Tools |
| foldProg | VSE.Fold |
| foldProgEq | HasCASL.FoldTerm |
| foldQualOp | HasCASL.FoldTerm |
| foldQualVar | HasCASL.FoldTerm |
| foldQual_var | CASL.Fold |
| foldQuantification | CASL.Fold |
| foldQuantifiedTerm | HasCASL.FoldTerm |
| foldQuantOp | CASL.Fold |
| foldQuantPred | CASL.Fold |
| foldRat | CSL.Fold |
| FoldRec | |
| 1 (Type/Class) | HasCASL.FoldTerm |
| 2 (Data Constructor) | HasCASL.FoldTerm |
| 3 (Type/Class) | VSE.Fold |
| 4 (Data Constructor) | VSE.Fold |
| FoldRecord | |
| 1 (Type/Class) | Propositional.Fold |
| 2 (Data Constructor) | Propositional.Fold |
| 3 (Type/Class) | QBF.Tools |
| 4 (Data Constructor) | QBF.Tools |
| foldRelation | CASL.Fold |
| foldRepeat | CSL.Fold |
| foldResolvedMixTerm | HasCASL.FoldTerm |
| foldReturn | VSE.Fold |
| foldS | Common.SAX |
| foldSeq | VSE.Fold |
| foldSequence | CSL.Fold |
| foldSimpleSourceIO | GUI.UDGUtils |
| foldSimple_mod | CoCASL.StatAna |
| foldSkip | VSE.Fold |
| foldSorted_term | CASL.Fold |
| foldSort_gen_ax | CASL.Fold |
| foldSource | GUI.UDGUtils |
| foldSourceIO | GUI.UDGUtils |
| foldTerm | |
| 1 (Function) | CASL.Fold |
| 2 (Function) | CSL.Fold |
| 3 (Function) | HasCASL.FoldTerm |
| foldTermToken | HasCASL.FoldTerm |
| foldTerm_mod | CoCASL.StatAna |
| foldTrueAtom | QBF.Tools |
| foldTrue_atom | Propositional.Fold |
| foldTupleTerm | HasCASL.FoldTerm |
| foldType | HasCASL.FoldType |
| foldTypeAbs | HasCASL.FoldType |
| foldTypeAppl | HasCASL.FoldType |
| foldTypedTerm | HasCASL.FoldTerm |
| foldTypeName | HasCASL.FoldType |
| FoldTypeRec | |
| 1 (Type/Class) | HasCASL.FoldType |
| 2 (Data Constructor) | HasCASL.FoldType |
| foldTypeToken | HasCASL.FoldType |
| foldVar | CSL.Fold |
| foldWhile | VSE.Fold |
| foldWithKey | Common.Lib.MapSet |
| foleml | ExtModal.Sublogic |
| followedWith | Common.Lexer |
| followImport | OMDoc.Import |
| followImports | OMDoc.Import |
| Following | Common.XPath |
| followTheories | OMDoc.Import |
| followTheory | OMDoc.Import |
| folsl | CommonLogic.Sublogic |
| folType | DFOL.Comorphism |
| Font | |
| 1 (Data Constructor) | GUI.HTkUtils |
| 2 (Type/Class) | GUI.HTkUtils |
| font | GUI.HTkUtils |
| FontDesignator | GUI.HTkUtils |
| FontFamily | GUI.HTkUtils |
| FontSlant | GUI.HTkUtils |
| FontSpacing | GUI.HTkUtils |
| FontStyle | GUI.UDGUtils |
| FontStyleSource | |
| 1 (Data Constructor) | GUI.UDGUtils |
| 2 (Type/Class) | GUI.UDGUtils |
| FontWeight | GUI.HTkUtils |
| FontWidth | GUI.HTkUtils |
| fontwidth | GUI.HTkUtils |
| ForAll | QBF.AS_BASIC_QBF |
| Forall | DFOL.AS_DFOL |
| forallDoc | Common.Doc |
| forallKey | CommonLogic.Lexer_CLIF |
| forallPrec | DFOL.Utils |
| forallS | |
| 1 (Function) | CSL.Keywords |
| 2 (Function) | Common.Keywords |
| forallT | Common.AnnoState |
| forceCoerceSublogic | Logic.Coerce |
| forceFocus | GUI.HTkUtils |
| foreach | GUI.HTkUtils |
| foreachS | CSL.Keywords |
| foreground | GUI.HTkUtils |
| forever | GUI.HTkUtils |
| foreverUntil | GUI.HTkUtils |
| forget | Common.Parsec |
| forgetPackage | GUI.HTkUtils |
| forkIOWithPostProcessing | GUI.GtkUtils |
| forkIO_ | GUI.GtkUtils |
| Form | |
| 1 (Type/Class) | GUI.HTkUtils |
| 2 (Data Constructor) | LF.AS |
| 3 (Data Constructor) | DFOL.AS_DFOL |
| 4 (Type/Class) | CASL.CompositionTable.ModelFormula |
| form | SoftFOL.ParseTPTP |
| formalProof | SoftFOL.MathServParsing |
| FormAnno | SoftFOL.Sign |
| Format | |
| 1 (Type/Class) | GUI.HTkUtils |
| 2 (Data Constructor) | Maude.AS_Maude |
| format | |
| 1 (Function) | CommonLogic.Sublogic |
| 2 (Function) | Propositional.Sublogic |
| 3 (Function) | QBF.Sublogic |
| formatRequirement | CMDL.DataTypes |
| FormData | |
| 1 (Type/Class) | SoftFOL.Sign |
| 2 (Data Constructor) | SoftFOL.Sign |
| FormExtension | CASL.ToDoc |
| FormKind | SoftFOL.Sign |
| FormLabel | GUI.HTkUtils |
| formLabel | GUI.HTkUtils |
| formParser | TopHybrid.Parse_AS |
| formParser' | TopHybrid.Parse_AS |
| formPrec | DFOL.Utils |
| FormPrefix | ExtModal.AS_ExtModal |
| formSrcLoc | Haskell.HatAna |
| FormTextField | GUI.HTkUtils |
| FormTextFieldIO | GUI.HTkUtils |
| formTrCASL | Comorphisms.CFOL2IsabelleHOL |
| FORMULA | |
| 1 (Type/Class) | DFOL.AS_DFOL |
| 2 (Type/Class) | Temporal.AS_BASIC_Temporal |
| 3 (Type/Class) | CASL.AS_Basic_CASL |
| 4 (Type/Class) | Propositional.AS_BASIC_Propositional |
| 5 (Type/Class) | QBF.AS_BASIC_QBF |
| Formula | |
| 1 (Data Constructor) | Temporal.AS_BASIC_Temporal |
| 2 (Data Constructor) | HasCASL.Le |
| formula | |
| 1 (Function) | CASL.Formula |
| 2 (Function) | ConstraintCASL.Formula |
| formulaComms | CspCASL.StatAnaCSP |
| FormulaData | THF.As |
| FormulaDependent | Comorphisms.CASL2SubCFOL |
| formulae | SoftFOL.Sign |
| formulaFlatForm | DFOL.AS_DFOL |
| formulaIds | CASL.StaticAna |
| FormulaItem | THF.As |
| formulaLists | SoftFOL.Sign |
| formulaorexpression | CSL.Parse_AS_Basic |
| formulaRecForm | DFOL.AS_DFOL |
| FormulaRole | THF.As |
| formulaRoleAF | THF.As |
| Formulas | HasCASL.Sublogic |
| formulaSPR | SoftFOL.Sign |
| FormulaTranslator | Comorphisms.CFOL2IsabelleHOL |
| FormulaTreatment | Comorphisms.CASL2SubCFOL |
| formulaTreatment | Comorphisms.CASL2SubCFOL |
| formula_ops | Common.Token |
| formula_words | Common.Token |
| FormValue | GUI.HTkUtils |
| forS | |
| 1 (Function) | CSL.Keywords |
| 2 (Function) | Common.Keywords |
| fortS | CSL.Keywords |
| fortwidthS | CSL.Keywords |
| Forward | GUI.HTkUtils |
| ForwardChars | GUI.HTkUtils |
| ForwardLines | GUI.HTkUtils |
| FotKind | SoftFOL.Sign |
| foundation | Framework.AS |
| foundationS | Common.Keywords |
| foundry | GUI.HTkUtils |
| fPadFrames | GUI.HTkUtils |
| fParser | TopHybrid.Parse_AS |
| Fpl | |
| 1 (Type/Class) | Fpl.Logic_Fpl |
| 2 (Data Constructor) | Fpl.Logic_Fpl |
| FplBasicSpec | Fpl.As |
| FplExt | Fpl.As |
| fplExt | Fpl.As |
| FplForm | Fpl.As |
| FplMor | Fpl.Morphism |
| FplOpItem | Fpl.As |
| fplOpItem | Fpl.As |
| FplOpItems | Fpl.As |
| fplReservedWords | Fpl.As |
| FplSign | Fpl.Sign |
| FplSortItem | Fpl.As |
| fplSortItem | Fpl.As |
| FplSortItems | Fpl.As |
| FplTerm | Fpl.As |
| fplTerm | Fpl.As |
| FQChanNonDetSend | CspCASL.AS_CspCASL_Process |
| FQChanRecv | CspCASL.AS_CspCASL_Process |
| FQChanSend | CspCASL.AS_CspCASL_Process |
| FQExternalPrefixChoice | CspCASL.AS_CspCASL_Process |
| FQInternalPrefixChoice | CspCASL.AS_CspCASL_Process |
| FQProcess | CspCASL.AS_CspCASL_Process |
| FQProcVarList | CspCASL.SignCSP |
| FQTermEvent | CspCASL.AS_CspCASL_Process |
| FQ_PROCESS_NAME | |
| 1 (Type/Class) | CspCASL.AS_CspCASL_Process |
| 2 (Data Constructor) | CspCASL.AS_CspCASL_Process |
| fracDec | OWL2.AS |
| fracT | Isabelle.IsaConsts |
| Fraction | |
| 1 (Type/Class) | GUI.HTkUtils |
| 2 (Data Constructor) | Common.GlobalAnnotations |
| fraction | GUI.HTkUtils |
| FRACTIONDIGITS | OWL2.Keywords |
| fractionS | OWL2.Keywords |
| FRAM | Framework.AS |
| Frame | |
| 1 (Type/Class) | GUI.HTkUtils |
| 2 (Type/Class) | OWL2.MS |
| 3 (Data Constructor) | OWL2.MS |
| frame | OWL2.Profiles |
| frame2Boxes | OWL2.MS2Ship |
| FrameBit | OWL2.MS |
| FrameForm | |
| 1 (Type/Class) | ExtModal.AS_ExtModal |
| 2 (Data Constructor) | ExtModal.AS_ExtModal |
| frameFormRange | ExtModal.AS_ExtModal |
| frameForms | ExtModal.AS_ExtModal |
| frames | OWL2.ManchesterParser |
| frameVars | ExtModal.AS_ExtModal |
| Framework | |
| 1 (Type/Class) | Framework.Logic_Framework |
| 2 (Data Constructor) | Framework.Logic_Framework |
| FrameworkCom | |
| 1 (Type/Class) | Framework.Logic_Framework |
| 2 (Data Constructor) | Framework.Logic_Framework |
| Free | |
| 1 (Type/Class) | Isabelle.IsaExport |
| 2 (Data Constructor) | Isabelle.IsaSign |
| 3 (Data Constructor) | OMDoc.DataTypes |
| 4 (Data Constructor) | CASL.StaticAna |
| 5 (Data Constructor) | HasCASL.Le |
| 6 (Data Constructor) | Static.DgUtils |
| FreeCAD | |
| 1 (Type/Class) | FreeCAD.Logic_FreeCAD |
| 2 (Data Constructor) | FreeCAD.Logic_FreeCAD |
| FreeCADIn | Driver.Options |
| FreeCADOut | Driver.Options |
| FreeDatatype | HasCASL.As |
| FreeDefMorphism | |
| 1 (Type/Class) | Logic.Prover |
| 2 (Data Constructor) | Logic.Prover |
| freeDefMorphism | Logic.Prover |
| freeDefs | |
| 1 (Function) | Propositional.ProverState |
| 2 (Function) | THF.ProverState |
| 3 (Function) | QBF.ProverState |
| freely | SoftFOL.Sign |
| freelyGenerated | SoftFOL.Sign |
| freeModVars | ExtModal.StatAna |
| freeName | |
| 1 (Function) | Isabelle.IsaExport |
| 2 (Function) | HolLight.Helper |
| 3 (Function) | CommonLogic.Tools |
| Freeness | Interfaces.Command |
| freeness | Proofs.Freeness |
| freeofS | CSL.Keywords |
| FreeOrCofree | Static.DgUtils |
| FreeOrCofreeDef | Static.DgUtils |
| FreeOrCofreeDefLink | Static.DevGraph |
| FreeOrCofreeThm | Static.DgUtils |
| freePrefixVars | ExtModal.StatAna |
| freeS | Common.Keywords |
| frees | HolLight.Helper |
| freeTermVars | CASL.Quantification |
| FreeTFree | Isabelle.IsaExport |
| freeTheory | Logic.Prover |
| FreeTVar | Isabelle.IsaExport |
| freeTVarIds | HasCASL.FoldType |
| freeTVars | HasCASL.FoldType |
| FreeType | |
| 1 (Data Constructor) | Isabelle.IsaExport |
| 2 (Data Constructor) | Fpl.As |
| freeType | Fpl.As |
| freeVars | |
| 1 (Function) | CASL.Quantification |
| 2 (Function) | HasCASL.FoldTerm |
| freeVarsD | Haskell.HatParser |
| freeVarsOfExt | CASL.Sign |
| freeVarsRecord | CASL.Quantification |
| Free_Attrs | |
| 1 (Type/Class) | Isabelle.IsaExport |
| 2 (Data Constructor) | Isabelle.IsaExport |
| Free_datatype | CASL.AS_Basic_CASL |
| Free_spec | Syntax.AS_Structured |
| Frequency | ExtModal.Sublogic |
| fresh | THF.Utils |
| freshInst | HasCASL.Unify |
| freshVar | HasCASL.Unify |
| frmTypeAna | ExtModal.StatAna |
| Frm_Wrap | |
| 1 (Type/Class) | TopHybrid.AS_TopHybrid |
| 2 (Data Constructor) | TopHybrid.AS_TopHybrid |
| fromAC | Common.Item |
| fromAFB | OWL2.Extract |
| fromAL | Common.Item |
| fromAnno | OWL2.Extract |
| fromAnnoList | OWL2.Extract |
| fromAnnoProp | OWL2.Extract |
| fromAnnos | OWL2.Extract |
| fromBasicSpec | Syntax.AS_Library |
| fromC | Common.Item |
| fromCASL | CASL.CompositionTable.ModelFormula |
| fromCF | OWL2.Print |
| fromDataPropExpr | OWL2.Extract |
| fromDataRange | OWL2.Extract |
| fromDefs | Haskell.HatParser |
| fromDescription | OWL2.Extract |
| fromDistinctMap | Common.Lib.MapSet |
| fromDouble | GUI.HTkUtils |
| fromDType | OWL2.Extract |
| fromElement | OMDoc.OMDocInterface |
| fromExt | OWL2.Extract |
| fromFact | OWL2.Extract |
| fromFB | OWL2.Extract |
| fromFraction | CSL.AS_BASIC_CSL |
| fromFrame | OWL2.Extract |
| fromGUIValue | GUI.HTkUtils |
| fromId | DFOL.Symbol |
| fromIndividual | OWL2.Extract |
| fromKeysSet | Common.Lib.Rel |
| fromL | Common.Item |
| fromLabelledSen | Common.DocUtils |
| fromLFB | OWL2.Extract |
| fromLibName | LF.Twelf2GR |
| fromList | |
| 1 (Function) | Common.Lib.SizedList |
| 2 (Function) | Common.OrderedMap |
| 3 (Function) | Common.Lib.MapSet |
| 4 (Function) | Common.Lib.Rel |
| fromLiteral | OWL2.Extract |
| fromMap | |
| 1 (Function) | Common.Lib.MapSet |
| 2 (Function) | Common.Lib.Rel |
| fromObjPropExpr | OWL2.Extract |
| fromOPTYPE | Comorphisms.CASL2HasCASL |
| fromOpType | Comorphisms.CASL2HasCASL |
| fromPos | Common.AnnoParser |
| fromPREDTYPE | Comorphisms.CASL2HasCASL |
| fromPredType | Comorphisms.CASL2HasCASL |
| fromQN | LF.Twelf2GR |
| fromResult | HasCASL.Le |
| fromRight | HolLight.Helper |
| fromS | Common.Keywords |
| fromSet | Common.Lib.Rel |
| fromShATermLG | ATC.Grothendieck |
| fromShATermLG' | ATC.Grothendieck |
| fromShATermString | Driver.ReadFn |
| fromSignAndNamedSens | OMDoc.Export |
| fromSignRenamings | Maude.Morphism |
| fromSignsRenamings | Maude.Morphism |
| fromSourcePos | Common.Lexer |
| fromSpec | |
| 1 (Function) | Maude.Sentence |
| 2 (Function) | Maude.Sign |
| fromStatements | Maude.Sentence |
| fromText | |
| 1 (Function) | DMU.Logic_DMU |
| 2 (Function) | FreeCAD.Logic_FreeCAD |
| fromTypeMap | HasCASL.Constrain |
| fromVarDecl | VSE.Parse |
| fromVariable | OMDoc.OMDocInterface |
| fromWithError | |
| 1 (Function) | GUI.HTkUtils |
| 2 (Function) | Taxonomy.MMiSSOntology |
| fromWithError1 | GUI.HTkUtils |
| fromXml | OMDoc.XmlInterface |
| from_sml_ATermString | ATC.Sml_cats |
| Frozen | Maude.AS_Maude |
| Fsa | THF.As |
| fScrollBars | GUI.HTkUtils |
| fScrolledWidget | GUI.HTkUtils |
| fScrollFrame | GUI.HTkUtils |
| fsep | |
| 1 (Function) | Common.Lib.Pretty |
| 2 (Function) | Common.Doc |
| fstPT | Isabelle.IsaConsts |
| FS_File | THF.As |
| FT_Defined_Term | THF.As |
| FT_Plain_Term | THF.As |
| FT_System_Term | THF.As |
| Fu | Adl.As |
| Full | OWL2.AS |
| fullclsl | CommonLogic.Sublogic |
| FullColourMode | GUI.HTkUtils |
| fullIri | OWL2.Parse |
| fullRender | Common.Lib.Pretty |
| fullrootsS | CSL.Keywords |
| fullSign | Driver.Options |
| fullSymName | Logic.Logic |
| fullTheories | Driver.Options |
| Fun | |
| 1 (Type/Class) | Isabelle.IsaExport |
| 2 (Data Constructor) | Isabelle.IsaExport |
| 3 (Data Constructor) | Isabelle.IsaSign |
| 4 (Data Constructor) | THF.As |
| 5 (Data Constructor) | HasCASL.As |
| FunArr | HasCASL.AsUtils |
| funArrow | Common.Doc |
| Func | |
| 1 (Data Constructor) | LF.Sign |
| 2 (Data Constructor) | DFOL.AS_DFOL |
| 3 (Data Constructor) | VSE.As |
| FuncKind | DFOL.Sign |
| funcList | SoftFOL.Sign |
| FuncMap | SoftFOL.Sign |
| funcMap | SoftFOL.Sign |
| funCons | Haskell.HatParser |
| funcPrec | DFOL.Utils |
| FuncProp | OWL2.Sign |
| FuncRole | OWL2.Sign |
| Function | OWL2.Function |
| function | OWL2.Function |
| Functional | |
| 1 (Data Constructor) | Taxonomy.MMiSSOntology |
| 2 (Data Constructor) | OWL2.AS |
| functionalDataPropertyK | OWL2.XMLKeywords |
| functionalObjectPropertyK | OWL2.XMLKeywords |
| functionalS | OWL2.Keywords |
| functionLock | GUI.GraphTypes |
| functions | SoftFOL.Sign |
| FunctionTerm | THF.As |
| functionUndef | Comorphisms.HasCASL2Haskell |
| functS | Common.Keywords |
| Funct_term | CommonLogic.AS_CommonLogic |
| FunDef | |
| 1 (Type/Class) | Isabelle.IsaSign |
| 2 (Data Constructor) | Comorphisms.Hs2HOLCFaux |
| 3 (Type/Class) | Fpl.As |
| 4 (Data Constructor) | Fpl.As |
| 5 (Data Constructor) | CSL.AS_BASIC_CSL |
| funDef | Fpl.As |
| funDefault | Isabelle.IsaSign |
| funDomintros | Isabelle.IsaSign |
| funEquations | Isabelle.IsaSign |
| funFlift2 | Comorphisms.Hs2HOLCFaux |
| funFliftbin | Comorphisms.Hs2HOLCFaux |
| funId | Isabelle.IsaSign |
| FunInfix | HasCASL.PrintAs |
| FunKind | HasCASL.As |
| funKind | HasCASL.AsUtils |
| funKind3 | HasCASL.AsUtils |
| funKindWithRange | HasCASL.AsUtils |
| funKindWithRange3 | HasCASL.AsUtils |
| FunMap | HasCASL.Le |
| funMap | HasCASL.Le |
| funName | Isabelle.IsaExport |
| FunOp | Fpl.As |
| funPartials | Isabelle.IsaSign |
| Funs | |
| 1 (Type/Class) | Isabelle.IsaExport |
| 2 (Data Constructor) | Isabelle.IsaExport |
| 3 (Type/Class) | Isabelle.IsaSign |
| funS | |
| 1 (Function) | Common.Keywords |
| 2 (Function) | Isabelle.IsaConsts |
| funs | Isabelle.IsaSign |
| funsDefault | Isabelle.IsaExport |
| funsDomintros | Isabelle.IsaExport |
| funSequential | Isabelle.IsaSign |
| FunSig | |
| 1 (Type/Class) | Isabelle.IsaSign |
| 2 (Data Constructor) | Isabelle.IsaSign |
| funSigName | Isabelle.IsaSign |
| funSigType | Isabelle.IsaSign |
| funsPartials | Isabelle.IsaExport |
| funsSequential | Isabelle.IsaExport |
| funsTarget | Isabelle.IsaExport |
| funSymb | Comorphisms.CommonLogic2IsabelleHOL |
| Funs_Attrs | |
| 1 (Type/Class) | Isabelle.IsaExport |
| 2 (Data Constructor) | Isabelle.IsaExport |
| funT | Isabelle.IsaConsts |
| funTarget | Isabelle.IsaSign |
| funterm | CommonLogic.Parse_KIF |
| Fun_Attrs | |
| 1 (Type/Class) | Isabelle.IsaExport |
| 2 (Data Constructor) | Isabelle.IsaExport |
| fun_tycon_name | Haskell.HatParser |
| Fusion | FreeCAD.As |