]> matita.cs.unibo.it Git - helm.git/commit
...
authorEnrico Tassi <enrico.tassi@inria.fr>
Fri, 17 Oct 2008 10:56:02 +0000 (10:56 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Fri, 17 Oct 2008 10:56:02 +0000 (10:56 +0000)
commite74a2893a14da614919420a9661462b23dbfd9f6
tree86fe455afcdfa3b618811dcb14e3ddd83fdd9bb4
parent237ade59af59ffa7c4a754407b1f55e057be4208
...
helm/software/matita/contribs/didactic/Makefile
helm/software/matita/contribs/didactic/depends
helm/software/matita/contribs/didactic/depends.png
helm/software/matita/contribs/didactic/induction.ma
helm/software/matita/contribs/didactic/induction_support.ma [deleted file]