InutitionTC  0.30
c-code Directory Reference

Files

file  alloc.c
 
file  alloc.h [code]
 Allocation, creation and copying of basic structures; simple freeing operations.
 
file  checker.c
 
file  checker.h [code]
 Definitions of the base structures that represent the formulas and proofs.
 
file  copy.c
 
file  envmap_base.c
 
file  envmap_base.h [code]
 Operations on the data structure that represents environments.
 
file  errorMessages.c
 
file  errorMessages.h [code]
 Implementation of procedures that handle printing of error messages.
 
file  free.c
 
file  free.h [code]
 Complex freeing operations.
 
file  gen_spec_checker.c
 
file  gen_spec_checker.h [code]
 Basic proof-theoretic operations such as substitutions, alpha and beta equivalence.
 
file  namemap.c
 
file  namemap.h [code]
 Operations on the data structure that represents dictionaries of names.
 
file  printMessages.c
 
file  printMessages.h [code]
 The pretty-printing procedures.
 
file  typechecker.c
 
file  typechecker.h [code]
 The core logic of the typechecker.
 
file  vars_set.c
 
file  vars_set.h [code]
 Finite sets with union operation.