| caseEmptyDoc | Text.PrettyPrint.Class, Text.Isar |
| cat | Text.PrettyPrint.Class, Text.Isar |
| ChainRule | Scyther.Proof |
| chainRule | Scyther.Sequent |
| chainRuleFacts | Scyther.Facts |
| char | Text.PrettyPrint.Class, Text.Isar |
| checkTheoryFile | System.Isabelle |
| choose | Extension.Prelude |
| claims | Scyther.Theory.Parser |
| classifyProperties | Scyther.Theory |
| cluster | Text.Dot |
| COLON | Scyther.Theory.Lexer, Scyther.Theory.Parser |
| colon | Text.PrettyPrint.Class, Text.Isar |
| colorGroups | Data.Color |
| columns | Data.Table |
| COMMA | Scyther.Theory.Lexer, Scyther.Theory.Parser |
| comma | Text.PrettyPrint.Class, Text.Isar |
| commaSep | Scyther.Theory.Parser |
| commaSep1 | Scyther.Theory.Parser |
| comment | Scyther.Theory.Lexer |
| complete | Scyther.Proof |
| composeParallel | Scyther.Theory |
| conjoinAtoms | Scyther.Facts |
| conjunctionToAtoms | Scyther.Formula, Scyther.Facts |
| conjuncts | Scyther.Formula, Scyther.Facts |
| ConsistentLabels | Control.Monad.Label |
| ConsistentLabelsT | |
| 1 (Type/Class) | Control.Monad.Label |
| 2 (Data Constructor) | Control.Monad.Label |
| Const | |
| 1 (Data Constructor) | Control.Basics |
| 2 (Type/Class) | Control.Basics |
| ConstT | Scyther.Typing, Scyther.Facts |
| con_UnionFind | Data.UnionFind |
| cyclic | |
| 1 (Function) | Data.DAG.Simple |
| 2 (Function) | Scyther.Event, Scyther.Facts |