src/CTT/ROOT
changeset 70678 36c8c32346cb
parent 70675 efd995488228
equal deleted inserted replaced
70677:56d70f7ce4a4 70678:36c8c32346cb
    14     Type Theory (Oxford University Press, 1990)
    14     Type Theory (Oxford University Press, 1990)
    15 
    15 
    16     Simon Thompson, Type Theory and Functional Programming (Addison-Wesley,
    16     Simon Thompson, Type Theory and Functional Programming (Addison-Wesley,
    17     1991)
    17     1991)
    18   "
    18   "
       
    19   options [thy_output_source]
    19   directories "ex"
    20   directories "ex"
    20   options [thy_output_source]
       
    21   theories
    21   theories
    22     CTT
    22     CTT
    23     "ex/Typechecking"
    23     "ex/Typechecking"
    24     "ex/Elimination"
    24     "ex/Elimination"
    25     "ex/Equality"
    25     "ex/Equality"