]> matita.cs.unibo.it Git - helm.git/commit
WIP
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 27 Oct 2008 20:16:34 +0000 (20:16 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 27 Oct 2008 20:16:34 +0000 (20:16 +0000)
commit3f80c07b790d3abdb3aafcd1da33f14fa90ada25
tree02c6df663c2493592b5a8030fbdb21004bf15cfd
parentf1b339562f75ff5963df120cce1d0fcb452c67db
WIP
helm/software/matita/contribs/dama/dama/ordered_uniform.ma
helm/software/matita/contribs/dama/dama/property_exhaustivity.ma
helm/software/matita/contribs/dama/dama/supremum.ma