]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b59bfaf) | patch
duality done
authorEnrico Tassi <enrico.tassi@inria.fr>
Sun, 26 Oct 2008 14:02:50 +0000 (14:02 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Sun, 26 Oct 2008 14:02:50 +0000 (14:02 +0000)
commit72f8ff3c58c5ac927f572267386f17be39d5a026
tree72c2509732a4b81445904127de9649ea13038ef4tree | snapshot
parentb59bfafcea1d2b429be753fd762b53b231b58dadcommit | diff
duality done
helm/software/matita/contribs/didactic/duality.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.