]>
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) | ||
commit | 0e3962b42f821bd7a2b30345a02488958d70fa2f | |
tree | 160f40f3682ab30c7c7a97dda0749ed364066442 | tree | snapshot |
parent | 04fd7eb3c5a819f6ae00dd9033493c0aa434d241 | commit | diff |
helm/coq-contribs/lambdadelta_1/web/basic_1_sum.tbl | diff | blob | history | |
helm/coq-contribs/lambdadelta_1/web/ground_1_sum.tbl | diff | blob | history |