git.megacz.com Git - coq-hetmet.git/atom - src/ProgrammingLanguageCategory.v historyCoq proofs and code accompanying the HetMet extensions for GHChttp://git.megacz.com/?p=coq-hetmet.git/git-favicon.png/git-logo.png2011-04-30T04:47:25Zgitwebclean up hints for NaturalDeduction, split ProgrammingLanguage into multiple files2011-04-30T04:47:25ZAdam Megaczmegacz@cs.berkeley.eduAdam Megaczmegacz@cs.berkeley.edu2011-04-30T04:47:25Zhttp://git.megacz.com/?p=coq-hetmet.git;a=commitdiff;h=034f7e7856bebbbcb3c83946aa603c640b17f3bb
clean up hints for NaturalDeduction, split ProgrammingLanguage into multiple files