projects / helm.git / commit
| author | Andrea Asperti <andrea.asperti@unibo.it> | |
| Thu, 4 Dec 2014 09:17:11 +0000 (09:17 +0000) | ||
| committer | Andrea Asperti <andrea.asperti@unibo.it> | |
| Thu, 4 Dec 2014 09:17:11 +0000 (09:17 +0000) | ||
| commit | baad9c8c4abe7a03a5a3f385f7a33b3b7794f10f | |
| tree | 4bb7b8636f5f52d564376c49287f50074d2e2557 | tree | snapshot |
| parent | 56fb3c39cc9186ad2700b0ee8ca37f8d759c2376 | commit | diff |
| matita/matita/lib/tutorial/chapter6.ma | diff | blob | history | |
| matita/matita/lib/tutorial/chapter9.ma | diff | blob | history |