]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7fad6f9) | patch
Convergence is now defined.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 27 Aug 2008 14:45:44 +0000 (14:45 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 27 Aug 2008 14:45:44 +0000 (14:45 +0000)
commit9be608d0e7ae483754f9922ab521802288d6abf3
tree32b8fc7b9d0721248671b3fdcc98c9c247b0ebd9tree | snapshot
parent7fad6f9727bb6f054c0198cf10354be4b355baefcommit | diff
Convergence is now defined.
helm/software/matita/core_notation.moo diff | blob | history
helm/software/matita/library/demo/formal_topology.ma diff | blob | history
helm/software/matita/library/formal_topology/concrete_spaces.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.