add RCut, RLeft, RRight rules
[coq-hetmet.git] / .gitignore
2011-05-10 Adam Megaczadd examples/.build to gitignore
2011-03-14 Adam Megaczadd tutorial.coqpass to gitignore
2011-03-02 Adam MegaczInitial checkin of Coq-in-GHC code