source: Deliverables/D4.2-4.3/reports @ 1435

Name Size Rev Age Author Last Change
../
D4-2.tex 40.0 KB 1435   9 years sacerdot More on dependent types. One citation is missing.
D4-3.tex 37.1 KB 1434   9 years mulligan chages to typesetting and some wording changes
Note: See TracBrowser for help on using the repository browser.