search

abau / co4

COmplexity COncerned COnstraint COmpiler
GNU General Public License v3.0
2 stars 3 forks source link

missing file CO4.Test.TermComp2014.Proof.Dump #86

Closed jwaldmann closed 10 years ago

jwaldmann commented 10 years ago

forgot to git add?

abau commented 10 years ago

forgot to git add

dammit