]> matita.cs.unibo.it Git - helm.git/commit
some more work on q
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 30 Jun 2008 18:54:26 +0000 (18:54 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 30 Jun 2008 18:54:26 +0000 (18:54 +0000)
commit98c84d48f4511cb52c8dc03881e113bd4bd9c6ce
treec659145da0a2ee9aeef4ba331e95ba0b41e9a3e6
parentb00b8de85c5ae6c5fbb6f47dc559bf4cfcf2a5b6
some more work on q
helm/software/matita/contribs/dama/dama/cprop_connectives.ma
helm/software/matita/contribs/dama/dama/models/nat_dedekind_sigma_complete.ma
helm/software/matita/contribs/dama/dama/models/q_bars.ma
helm/software/matita/contribs/dama/dama/models/q_function.ma
helm/software/matita/library/nat/compare.ma