InutitionTC  0.30
File List
Here is a list of all documented files with brief descriptions:
[detail level 12]
  c-code
 alloc.hAllocation, creation and copying of basic structures; simple freeing operations
 checker.hDefinitions of the base structures that represent the formulas and proofs
 envmap_base.hOperations on the data structure that represents environments
 errorMessages.hImplementation of procedures that handle printing of error messages
 free.hComplex freeing operations
 gen_spec_checker.hBasic proof-theoretic operations such as substitutions, alpha and beta equivalence
 namemap.hOperations on the data structure that represents dictionaries of names
 printMessages.hThe pretty-printing procedures
 typechecker.hThe core logic of the typechecker
 vars_set.hFinite sets with union operation
 main.hThe main function, analysis of command line parameters and calling appropriate logic
 parserHelpers.hFunctions that help making yacc file concise