]> matita.cs.unibo.it Git - helm.git/commit
exercise ready
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 6 Nov 2008 20:03:39 +0000 (20:03 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 6 Nov 2008 20:03:39 +0000 (20:03 +0000)
commit66155917bd62757397bc324029d0baade2cc281f
tree1d783fa5373bf5d9be439d64383b38bedd9e5377
parentc2fe13e8a63b2b91a5eac3c5e03c0df86310e5ef
exercise ready
helm/software/matita/contribs/didactic/shannon.ma