projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Wed, 7 Jan 2015 16:48:33 +0000 (16:48 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Wed, 7 Jan 2015 16:48:33 +0000 (16:48 +0000) | ||
| commit | a57efb7e02d1c0af621ab36bd345f2f79f063a0c | |
| tree | d3d326a05a336016e3a1d5be5001ddc5af01f178 | tree | snapshot |
| parent | 2c4b4aaa6f1490346823a26cba5dd965cab0cd02 | commit | diff |
| matita/matita/lib/tutorial/chapter12.ma | diff | blob | history | |
| matita/matita/lib/tutorial/chapter8.ma | diff | blob | history |