]> matita.cs.unibo.it Git - helm.git/commit
exhaustivity completed
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 9 Jun 2008 10:24:09 +0000 (10:24 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 9 Jun 2008 10:24:09 +0000 (10:24 +0000)
commitc3b8ed2e554cbdb677729747c5b5a96112ae5169
tree40f45afdd8bce41a55cb7e54ec5ca398f922e15a
parent7e9bcf66cf96265ea78b3de6dc95ff3c9b75f83d
exhaustivity completed
helm/software/matita/contribs/dama/dama/ordered_uniform.ma
helm/software/matita/contribs/dama/dama/property_exhaustivity.ma
helm/software/matita/contribs/dama/dama/uniform.ma