]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4ff2055) | patch
ex for students about induction
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 16 Oct 2008 16:04:25 +0000 (16:04 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 16 Oct 2008 16:04:25 +0000 (16:04 +0000)
commitc775f53f9aae44897fb13342cd9f2e7ec5e394f7
tree0a413dc33fc3f5356f6b216522bfd03844027518tree | snapshot
parent4ff2055cabd4ac273b7222f6cf21aedbff5c022dcommit | diff
ex for students about induction
helm/software/matita/contribs/didactic/Makefile [new file with mode: 0644] blob
helm/software/matita/contribs/didactic/depends [new file with mode: 0644] blob
helm/software/matita/contribs/didactic/depends.png [new file with mode: 0644] blob
helm/software/matita/contribs/didactic/induction.ma [new file with mode: 0644] blob
helm/software/matita/contribs/didactic/induction_support.ma [new file with mode: 0644] blob
helm/software/matita/contribs/didactic/root [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.