projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Thu, 11 Sep 2014 09:42:09 +0000 (09:42 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Thu, 11 Sep 2014 09:42:09 +0000 (09:42 +0000) | ||
| commit | bd1b3551dc0832f90c5d6389882bad89458b0692 | |
| tree | 848ea4ba04e2bf9f588b7a1f2592bd13946bfa72 | tree | snapshot |
| parent | bce3dca819b8f60c6a10b24f48c44b66e13ec376 | commit | diff |
| matita/matita/lib/tutorial/chapter12.ma | diff | blob | history | |
| matita/matita/lib/tutorial/chapter13.ma | diff | blob | history |