]> matita.cs.unibo.it Git - helm.git/commit
more work, but russell too slow
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 23 Jun 2008 16:11:47 +0000 (16:11 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 23 Jun 2008 16:11:47 +0000 (16:11 +0000)
commit25aa80d913c903fcc270d05464cf3084b12d52a8
tree814c6f6bd70885c131f1dfb4d88e3c9e41dae671
parent6d4c63a0ff7d44e4e361fc4aeca8028a77d39568
more work, but russell too slow
helm/software/matita/contribs/dama/dama/cprop_connectives.ma
helm/software/matita/contribs/dama/dama/depends
helm/software/matita/contribs/dama/dama/depends.png
helm/software/matita/contribs/dama/dama/models/nat_lebesgue.ma
helm/software/matita/contribs/dama/dama/models/q_function.ma
helm/software/matita/contribs/dama/dama/sequence.ma
helm/software/matita/contribs/dama/dama/supremum.ma