2011-04-30 | Adam Megacz | clean up hints for NaturalDeduction, split ProgrammingL... | commit | commitdiff |
2011-04-10 | Adam Megacz | fill in lots of missing proofs | commit | commitdiff |
2011-04-02 | Adam Megacz | re-arrange ProgrammingLanguage | commit | commitdiff |
2011-03-29 | Adam Megacz | lots of cleanup | commit | commitdiff |