 | FreeTheorems | Contents | Index |
| BasicModel | FreeTheorems |
| FixModel | FreeTheorems |
| LanguageModel | FreeTheorems |
| NamedType | |
| 1 (Type/Class) | FreeTheorems |
| 2 (Data Constructor) | FreeTheorems |
| PrettyPrintAsText | FreeTheorems |
| RelationVariable | FreeTheorems |
| TermVariable | FreeTheorems |
| Theorem | FreeTheorems |
| TheoremData | FreeTheorems |
| Type | FreeTheorems |
| UnfoldedRelation | FreeTheorems |
| extractLiftRelations | FreeTheorems |
| extractRelationVariables | FreeTheorems |
| generateTheorem | FreeTheorems |
| getSupportedAlgebraicDatatypes | FreeTheorems |
| getSupportedTypeSynonyms | FreeTheorems |
| instantiateRelation | FreeTheorems |
| omitInstantiations | FreeTheorems |
| parseNamedType | FreeTheorems |
| parseType | FreeTheorems |
| printAsText | FreeTheorems |