]> matita.cs.unibo.it Git - helm.git/commit
Tutorial di Matita (lupo, capra, cavoli)
authormatitaweb <claudio.sacerdoticoen@unibo.it>
Thu, 29 Sep 2011 12:48:14 +0000 (12:48 +0000)
committermatitaweb <claudio.sacerdoticoen@unibo.it>
Thu, 29 Sep 2011 12:48:14 +0000 (12:48 +0000)
commit42e5fd6dd0bf02a57895aa4871c6258c1f4eabf7
tree1e729dc8a782587b556fe672414ef2350b19a2b0
parent5b14f117bbaba498168de06ad0617d67741a6d17
Tutorial di Matita (lupo, capra, cavoli)
weblib/tutorial/chapter1.ma [new file with mode: 0644]
weblib/tutorial/re.ma [new file with mode: 0644]