projects / helm.git / commit
| author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Sat, 14 Dec 2013 22:21:10 +0000 (22:21 +0000) | ||
| committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Sat, 14 Dec 2013 22:21:10 +0000 (22:21 +0000) | ||
| commit | 7df0a06017b477e10505167e146e9afdc1ce622a | |
| tree | 1564cf8e2f4fa1d63023a04b0a6d3dac9fa2be74 | tree | snapshot |
| parent | f6a6221dcb90a12b04378ca2de86192e0e39f9ab | commit | diff |
| matita/matita/contribs/lambdadelta/basic_2/computation/fpbc.ma | [new file with mode: 0644] | blob |
| matita/matita/contribs/lambdadelta/basic_2/computation/fpbc_fpns.ma | [new file with mode: 0644] | blob |