]>
author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
Thu, 26 Oct 2017 20:38:49 +0000 (20:38 +0000) | ||
committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
Thu, 26 Oct 2017 20:38:49 +0000 (20:38 +0000) |
helm/coq-contribs/lambdadelta_1/web/basic_1_sum.tbl | patch | blob | history | |
helm/coq-contribs/lambdadelta_1/web/ground_1_sum.tbl | patch | blob | history |