]> matita.cs.unibo.it Git - helm.git/commit
using the new by foo we proved semantics
authorEnrico Tassi <enrico.tassi@inria.fr>
Wed, 5 Nov 2008 21:31:01 +0000 (21:31 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Wed, 5 Nov 2008 21:31:01 +0000 (21:31 +0000)
commit4257ad7d31bc2db6c40ad55878f190963e51c1ec
treeb40b6e880ebcf5d8363949740c279c4fb4cddbfb
parent87fdda71e8e0dcf886852f70be9a4b3d627b8e9c
using the new by foo we proved semantics
helm/software/matita/contribs/didactic/depends
helm/software/matita/contribs/didactic/depends.png
helm/software/matita/contribs/didactic/duality.ma
helm/software/matita/contribs/didactic/induction.ma
helm/software/matita/contribs/didactic/shannon.ma