]> matita.cs.unibo.it Git - helm.git/commit
after a PITA, lebergue is dualized!
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 20 Oct 2008 10:18:10 +0000 (10:18 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 20 Oct 2008 10:18:10 +0000 (10:18 +0000)
commit6d27950e804ea499909ae0fabceea99f35d118e9
treed23238291dd93b30f0a3df82a5cef2aa800d979d
parent6e2dfd0a82ab76d3c0aeec5f6149e7ee5992d687
after a PITA, lebergue is dualized!
helm/software/matita/contribs/dama/dama/lebesgue.ma
helm/software/matita/contribs/dama/dama/models/q_bars.ma
helm/software/matita/contribs/dama/dama/models/q_copy.ma
helm/software/matita/contribs/dama/dama/models/q_rebase.ma
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/sandwich.ma