]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: dd3157d) | 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)
commite04738d23c02ea5d6b8a66372e6d62b73f52e2db
treebd6748d541b914f3632606d70d2be14cfd021330tree | snapshot
parentdd3157d36216486d914a97cfff7a9cd34f009ffecommit | diff
Fatou lemma achieved (up to a few more axioms here and there...)
matita/dama/ordered_sets2.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.