]> matita.cs.unibo.it Git - helm.git/commit
...
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 21 Oct 2008 14:50:59 +0000 (14:50 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 21 Oct 2008 14:50:59 +0000 (14:50 +0000)
commit625846fd7d1b0063b3b3a81ff9bbf36ddccf84f1
tree173af62000db0c63ad02a83b6be22422387bf41b
parent7047b93fb9479402d0592a420ed6f624dc0beea6
...
helm/software/matita/contribs/didactic/Makefile
helm/software/matita/contribs/didactic/induction.ma