C | Theory.Model, Theory |
CaseDistinction | |
1 (Type/Class) | Theory.Constraint.Solver.Types, Theory.Constraint.Solver, Theory.Proof, Theory |
2 (Data Constructor) | Theory.Constraint.Solver.Types |
CaseDistKind | Theory.Constraint.System, Theory.Constraint.Solver, Theory.Proof, Theory |
caseEmptyDoc | Theory.Text.Pretty |
CaseName | Theory.Constraint.Solver.ProofMethod, Theory.Constraint.Solver, Theory.Proof, Theory |
cat | Theory.Text.Pretty |
cdCases | Theory.Constraint.Solver.Types, Theory.Constraint.Solver, Theory.Proof, Theory |
cdGoal | Theory.Constraint.Solver.Types, Theory.Constraint.Solver, Theory.Proof, Theory |
ChainG | Theory.Constraint.System.Constraints, Theory.Constraint.System, Theory.Constraint.Solver, Theory.Proof, Theory |
Changed | Theory.Constraint.Solver.Reduction |
ChangeIndicator | Theory.Constraint.Solver.Reduction |
char | Theory.Text.Pretty |
checkAndExtendProver | Theory.Proof, Theory |
checkWellformedness | Theory.Tools.Wellformedness |
children | Theory.Proof, Theory |
ClassifiedRules | |
1 (Type/Class) | Theory.Constraint.Solver.Types, Theory.Constraint.Solver, Theory.Proof, Theory |
2 (Data Constructor) | Theory.Constraint.Solver.Types, Theory.Constraint.Solver, Theory.Proof, Theory |
ClosedProtoRule | |
1 (Type/Class) | Theory |
2 (Data Constructor) | Theory |
ClosedRuleCache | |
1 (Type/Class) | Theory |
2 (Data Constructor) | Theory |
ClosedTheory | Theory |
closeTheory | Theory |
CoerceRule | Theory.Model.Rule, Theory.Model, Theory |
colon | |
1 (Function) | Theory.Text.Pretty |
2 (Function) | Theory.Text.Parser.Token |
comma | |
1 (Function) | Theory.Text.Pretty |
2 (Function) | Theory.Text.Parser.Token |
commaSep | Theory.Text.Parser.Token |
commaSep1 | Theory.Text.Parser.Token |
Comment | Theory.Text.Pretty |
comment | Theory.Text.Pretty |
comment_ | Theory.Text.Pretty |
CompactBoringNodes | Theory.Constraint.System.Dot |
CompleteProof | Theory.Proof, Theory |
compose | Theory.Model, Theory |
composeVFresh | Theory.Model, Theory |
compressSystem | Theory.Constraint.System.Dot |
computeVariantsCached | Theory.Tools.RuleVariants |
Con | Theory.Model, Theory |
ConcIdx | |
1 (Type/Class) | Theory.Model.Rule, Theory.Model, Theory |
2 (Data Constructor) | Theory.Model.Rule, Theory.Model, Theory |
Conj | |
1 (Data Constructor) | Theory.Constraint.Solver.Reduction, Theory.Constraint.Solver, Theory.Proof, Theory |
2 (Type/Class) | Theory.Constraint.Solver.Reduction, Theory.Constraint.Solver, Theory.Proof, Theory |
conjoinSystem | Theory.Constraint.Solver.Reduction |
Conn | Theory.Model.Formula, Theory.Model, Theory |
Connective | Theory.Model.Formula, Theory.Model, Theory |
ConstrRule | Theory.Model.Rule, Theory.Model, Theory |
constsVTerm | Theory.Model, Theory |
constTerm | Theory.Model, Theory |
containsPrivate | Theory.Model, Theory |
Contradiction | |
1 (Type/Class) | Theory.Constraint.Solver.Contradictions, Theory.Constraint.Solver, Theory.Proof, Theory |
2 (Data Constructor) | Theory.Constraint.Solver.ProofMethod, Theory.Constraint.Solver, Theory.Proof, Theory |
contradictionProver | Theory.Proof, Theory |
contradictions | Theory.Constraint.Solver.Contradictions, Theory.Constraint.Solver, Theory.Proof, Theory |
contradictorySystem | Theory.Constraint.Solver.Contradictions |
cprRuleE | Theory |
crConstruct | Theory.Constraint.Solver.Types, Theory.Constraint.Solver, Theory.Proof, Theory |
crDestruct | Theory.Constraint.Solver.Types, Theory.Constraint.Solver, Theory.Proof, Theory |
crProtocol | Theory.Constraint.Solver.Types, Theory.Constraint.Solver, Theory.Proof, Theory |
CSym | Theory.Model, Theory |
CurrentlyDeducible | Theory.Constraint.Solver.Goals |
CutBFS | Theory.Proof, Theory |
CutDFS | Theory.Proof, Theory |
CutNothing | Theory.Proof, Theory |
Cyclic | Theory.Constraint.Solver.Contradictions |