]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c6b621c) | patch
Fatou lemma achieved (up to a few more axioms here and there...)
authorEnrico Zoli <??>
Fri, 15 Dec 2006 16:11:56 +0000 (16:11 +0000)
committerEnrico Zoli <??>
Fri, 15 Dec 2006 16:11:56 +0000 (16:11 +0000)
commit03a14f4d1340c7abacad76ac79d26634410a731a
tree2e9fa3df2918b89a0fac2ed0f79d379d597b3746tree | snapshot
parentc6b621c1df5abd9a8a1567991379768c435607ddcommit | diff
Fatou lemma achieved (up to a few more axioms here and there...)
helm/software/matita/dama/ordered_sets2.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.