]> matita.cs.unibo.it Git - helm.git/commit
tutorial
authorAndrea Asperti <andrea.asperti@unibo.it>
Tue, 30 Apr 2013 16:15:46 +0000 (16:15 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Tue, 30 Apr 2013 16:15:46 +0000 (16:15 +0000)
commitb58a13d78f5c7a37000538429aeefcd54662b570
tree0a3cd3dcc14f0bf471405c1ec6e1e5b4ec5ae202
parented69681d11a9c202a7fba715ff080bfdf2e3de6f
tutorial
matita/matita/lib/tutorial/chapter10.ma
matita/matita/lib/tutorial/chapter11.ma [new file with mode: 0644]
matita/matita/lib/tutorial/chapter2.ma
matita/matita/lib/tutorial/chapter3.ma
matita/matita/lib/tutorial/chapter4.ma
matita/matita/lib/tutorial/chapter5.ma
matita/matita/lib/tutorial/chapter6.ma
matita/matita/lib/tutorial/chapter7.ma
matita/matita/lib/tutorial/chapter8.ma