| Age | Commit message (Expand) | Author | Files | Lines |
|---|---|---|---|---|
| 2018-06-10 | Wellfounded induction was not neededHEADmaster | Camil Staps | 1 | -23/+16 |
| 2018-06-03 | Minor textual enhancements | Camil Staps | 1 | -4/+3 |
| 2018-05-13 | Minor textual enhancements | Camil Staps | 1 | -4/+2 |
| 2018-05-13 | Cleanup expression compiler; write basic report | Camil Staps | 1 | -0/+164 |
 |
index : NWI-IMC010-Type-Theory-and-Coq | |
| Files related to NWI-IMC010 Type Theory and Coq, spring 2018, Radboud University Nijmegen. |
| summaryrefslogtreecommitdiff |