]> matita.cs.unibo.it Git - helm.git/commit
seg_u/l were inverted, more work
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 27 Oct 2008 10:19:21 +0000 (10:19 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 27 Oct 2008 10:19:21 +0000 (10:19 +0000)
commit62571dd402d272b1632b7739607d25df3552cc04
tree651e9639b6a7267abe26729d8732470f2f8c873d
parent858e703335b47065529d481891863d380a2156d7
seg_u/l were inverted, more work
helm/software/matita/contribs/dama/dama/ordered_uniform.ma
helm/software/matita/contribs/dama/dama/property_exhaustivity.ma
helm/software/matita/contribs/dama/dama/property_sigma.ma
helm/software/matita/contribs/dama/dama/supremum.ma