]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7a9277a) | patch
dama into the library
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 20 Nov 2008 15:53:09 +0000 (15:53 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 20 Nov 2008 15:53:09 +0000 (15:53 +0000)
commit6fbeff97e37927fd95b3aee3eb23b4309fc465c4
treee047b6cb1428e5e9dce6c59e3308206502a398adtree | snapshot
parent7a9277a3775b7150a22b2039548508e85751f85acommit | diff
dama into the library
30 files changed:
helm/software/matita/library/dama/Makefile [new file with mode: 0644] blob
helm/software/matita/library/dama/bishop_set.ma [new file with mode: 0644] blob
helm/software/matita/library/dama/bishop_set_rewrite.ma [new file with mode: 0644] blob
helm/software/matita/library/dama/depends [new file with mode: 0644] blob
helm/software/matita/library/dama/depends.png [new file with mode: 0644] blob
helm/software/matita/library/dama/doc/apal.pdf [new file with mode: 0644] blob
helm/software/matita/library/dama/lebesgue.ma [new file with mode: 0644] blob
helm/software/matita/library/dama/models/discrete_uniformity.ma [new file with mode: 0644] blob
helm/software/matita/library/dama/models/increasing_supremum_stabilizes.ma [new file with mode: 0644] blob
helm/software/matita/library/dama/models/list_support.ma [new file with mode: 0644] blob
helm/software/matita/library/dama/models/nat_lebesgue.ma [new file with mode: 0644] blob
helm/software/matita/library/dama/models/nat_order_continuous.ma [new file with mode: 0644] blob
helm/software/matita/library/dama/models/nat_ordered_uniform.ma [new file with mode: 0644] blob
helm/software/matita/library/dama/models/nat_uniform.ma [new file with mode: 0644] blob
helm/software/matita/library/dama/models/q_bars.ma [new file with mode: 0644] blob
helm/software/matita/library/dama/models/q_copy.ma [new file with mode: 0644] blob
helm/software/matita/library/dama/models/q_rebase.ma [new file with mode: 0644] blob
helm/software/matita/library/dama/models/q_support.ma [new file with mode: 0644] blob
helm/software/matita/library/dama/nat_ordered_set.ma [new file with mode: 0644] blob
helm/software/matita/library/dama/ordered_set.ma [new file with mode: 0644] blob
helm/software/matita/library/dama/ordered_uniform.ma [new file with mode: 0644] blob
helm/software/matita/library/dama/property_exhaustivity.ma [new file with mode: 0644] blob
helm/software/matita/library/dama/property_sigma.ma [new file with mode: 0644] blob
helm/software/matita/library/dama/root [new file with mode: 0644] blob
helm/software/matita/library/dama/russell_support.ma [new file with mode: 0644] blob
helm/software/matita/library/dama/sandwich.ma [new file with mode: 0644] blob
helm/software/matita/library/dama/sequence.ma [new file with mode: 0644] blob
helm/software/matita/library/dama/supremum.ma [new file with mode: 0644] blob
helm/software/matita/library/dama/uniform.ma [new file with mode: 0644] blob
helm/software/matita/matitaMathView.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.