equal
deleted
inserted
replaced
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" |