2011-03-28 | Adam Megacz | fix typo | blob | commitdiff |
2011-03-28 | Adam Megacz | ProgrammingLanguage: more implementation | blob | commitdiff | diff to current |
2011-03-27 | Adam Megacz | remove unnecessary comments | blob | commitdiff | diff to current |
2011-03-26 | Adam Megacz | improvements to ProgrammingLanguage | blob | commitdiff | diff to current |
2011-03-26 | Adam Megacz | ProgrammingLanguage.v: add definitions for TypesL_... | blob | commitdiff | diff to current |
2011-03-26 | Adam Megacz | re-arrange NaturalDeduction | blob | commitdiff | diff to current |
2011-03-26 | Adam Megacz | fix proof that Judgments(L) is Cartesian | blob | commitdiff | diff to current |
2011-03-25 | Adam Megacz | ProgrammingLanguage: significant cleanups | blob | commitdiff | diff to current |
2011-03-22 | Adam Megacz | proofs that Types/Judgments form an enrichment | blob | commitdiff | diff to current |