Index - C
| CanonicalPostProcess | |
| 1 (Type/Class) | Lang.ClassificationInstances |
| 2 (Data Constructor) | Lang.ClassificationInstances |
| childContexts | Lang.Classification |
| children | Logic.Proof |
| Classification | Lang.Classification |
| classify | Lang.Classification |
| closureScore | Lang.ClassificationInstances |
| conclusion | Logic.Proof |
| containsApp | Lang.Lang |
| Context | Lang.Classification |
| countNodes | Logic.Proof |
| CustomClassify | Lang.ClassificationInstances |
| CustomClassifyNT | |
| 1 (Type/Class) | Lang.ClassificationInstances |
| 2 (Data Constructor) | Lang.ClassificationInstances |