Constants§
- ANSWERCLASS_
FEEDBACK - ANSWER_
CLASS - ANSWER_
CLASS_ PTS - ARG
- ARGPRECS
- ARGS
- ARGUMENT_
REORDERING - ARG_MAP
- ARG_
MAP_ SEP - ARG_
MODE - ARG_NUM
- ARG_SEP
- ARG_
TYPES - ASSERTION
- ASSIGN
- ASSIGN_
MORPHISM_ FROM - ASSIGN_
MORPHISM_ TO - ASSOC_
TYPE - AUTOGRADABLE
- BIND
- CAPITALIZE
- COMP
- CONCLUSION
- COUNTER
- COUNTER_
PARENT - CURRENT_
SECTION_ LEVEL - DEFINIENDUM
- DEFINIENS
- DEFINITION
- DEF_
COMP - DOC_
TITLE - EXAMPLE
- FORS
- HEAD
- HEAD_
TERM - ID
- IF_
INPUTREF - IMPORT_
MODULE - INLINE
- INPUT_
REF - INVISIBLE
- LANGUAGE
- MACRONAME
- MAIN_
COMP - MATH_
STRUCTURE - METATHEORY
- MODULE
- MORPHISM
- MORPHISM_
DOMAIN - MORPHISM_
TOTAL - NOTATION
- NOTATION_
COMP - NOTATION_
FRAGMENT - NOTATION_
ID - NOTATION_
OP_ COMP - OBJECTIVE_
DIMENSION - OBJECTIVE_
SYMBOL - PARAGRAPH
- PRECEDENCE
- PRECONDITION_
DIMENSION - PRECONDITION_
SYMBOL - PROBLEM
- PROBLEM_
CHOICE - PROBLEM_
CHOICE_ FEEDBACK - PROBLEM_
CHOICE_ VERDICT - PROBLEM_
FILLINSOL - PROBLEM_
FILLINSOL_ CASE - PROBLEM_
FILLINSOL_ CASE_ VALUE - PROBLEM_
FILLINSOL_ CASE_ VERDICT - PROBLEM_
FILLINSOL_ WIDTH - PROBLEM_
GRADING_ NOTE - PROBLEM_
HINT - PROBLEM_
MINUTES - PROBLEM_
MULTIPLE_ CHOICE_ BLOCK - PROBLEM_
NOTE - PROBLEM_
POINTS - PROBLEM_
SINGLE_ CHOICE_ BLOCK - PROBLEM_
SOLUTION - PROOF
- PROOF_
ASSUMPTION - PROOF_
BODY - PROOF_
CONCLUSION - PROOF_
EQ_ STEP - PROOF_
HIDE - PROOF_
METHOD - PROOF_
PREMISE - PROOF_
SKETCH - PROOF_
STEP - PROOF_
STEP_ NAME - PROOF_
TERM - PROOF_
TITLE - RENAME
- RENAME_
TO - RETURN_
TYPE - ROLE
- RULE
- SECTION
- SET_
SECTION_ LEVEL - SIGNATURE
- SKIP_
SECTION - SLIDE
- SLIDESHOW
- SLIDESHOW_
SLIDE - SLIDE_
NUMBER - STYLE
- STYLES
- SUBPROOF_
TITLE - SUB_
PROBLEM - SUB_
PROOF - SYMDECL
- S_REF
- S_
REF_ IN - TERM
- TITLE
- TYPE
- USE_
MODULE - VARDEF
- VARSEQ
- VAR_
COMP