projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Fri, 29 Aug 2014 16:02:03 +0000 (16:02 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Fri, 29 Aug 2014 16:02:03 +0000 (16:02 +0000) | ||
| commit | 47079f99d6e48c735dec6b30f47a5f8c238bdab5 | |
| tree | 4242b8867c7e3b117834178e08a741ac5f9c5e63 | tree | snapshot |
| parent | c43048b752d6b797bc238ea16a42180449bf63f1 | commit | diff |
| matita/matita/lib/tutorial/chapter12.ma | diff | blob | history |