]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 342f51f) | patch
nat model ported to the dualized version, but not itself dualized dedekind-sig-compl...
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 20 Oct 2008 20:12:12 +0000 (20:12 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 20 Oct 2008 20:12:12 +0000 (20:12 +0000)
commit7deb4b1f322850b8ff03d5626f7828736d074ec8
tree659b2dcf28a24f00af050fc2d1960fe610e941ebtree | snapshot
parent342f51f2886fbb01457db47b313b5120dd002531commit | diff
nat model ported to the dualized version, but not itself dualized dedekind-sig-compl missing
helm/software/matita/contribs/dama/dama/bishop_set_rewrite.ma diff | blob | history
helm/software/matita/contribs/dama/dama/models/discrete_uniformity.ma diff | blob | history
helm/software/matita/contribs/dama/dama/models/nat_dedekind_sigma_complete.ma diff | blob | history
helm/software/matita/contribs/dama/dama/models/nat_order_continuous.ma diff | blob | history
helm/software/matita/contribs/dama/dama/models/nat_ordered_uniform.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.