]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f1889c6) | patch
Beginning of o-basic_topologies.
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 22 Dec 2008 18:07:58 +0000 (18:07 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 22 Dec 2008 18:07:58 +0000 (18:07 +0000)
commite88702452d7ff1dcec1156e4e5588eaf577103a0
tree88fc5cfb7f9f3cb0e9c481c8d9f4af50a6bc6688tree | snapshot
parentf1889c6a0850d2691190d34159d5eb9bb9c76f77commit | diff
Beginning of o-basic_topologies.
helm/software/matita/contribs/formal_topology/overlap/o-basic_topologies.ma [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.