]> matita.cs.unibo.it Git - helm.git/commit
go notation go!
authorEnrico Tassi <enrico.tassi@inria.fr>
Fri, 19 Dec 2008 16:23:15 +0000 (16:23 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Fri, 19 Dec 2008 16:23:15 +0000 (16:23 +0000)
commit4dfb1305a9c4a7c292f4b1957de1454d46c1ab8a
tree4d15545b9f7fc03f9bb854f2fafc0eb8cd9abd42
parentf2bf34a07e2494d81ab7c3b44c143dec33e51fe8
go notation go!
helm/software/matita/contribs/formal_topology/overlap/o-algebra.ma
helm/software/matita/contribs/formal_topology/overlap/o-basic_pairs.ma
helm/software/matita/contribs/formal_topology/overlap/o-concrete_spaces.ma
helm/software/matita/core_notation.moo