projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Tue, 21 Oct 2014 12:20:39 +0000 (12:20 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Tue, 21 Oct 2014 12:20:39 +0000 (12:20 +0000) | ||
| commit | 836e4f30514bceb27394604bbfbae31a62723dae | |
| tree | 35c75969c6b3e755640a70446e7ddfa1bf722193 | tree | snapshot |
| parent | 636db4e12452d2ebce318b36cf5c41d30e4d9c29 | commit | diff |
| matita/matita/lib/tutorial/chapter12.ma | diff | blob | history | |
| matita/matita/lib/tutorial/chapter13.ma | diff | blob | history |