projects / helm.git / commit
| author | Andrea Asperti <andrea.asperti@unibo.it> | |
| Fri, 31 May 2013 09:47:33 +0000 (09:47 +0000) | ||
| committer | Andrea Asperti <andrea.asperti@unibo.it> | |
| Fri, 31 May 2013 09:47:33 +0000 (09:47 +0000) | ||
| commit | 874cacec64d0aab52ab1a21aad23208f52f50caf | |
| tree | 903a7b995cb331bd6184722f1042553240b2c8bc | tree | snapshot |
| parent | 7f9fc98eb7dc5467c46ff59cade6d929b3bbf9e0 | commit | diff |
| matita/matita/lib/arithmetics/iteration.ma | [new file with mode: 0644] | blob |