]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1a38559) | patch
fixed notation
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 4 Sep 2008 14:30:43 +0000 (14:30 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 4 Sep 2008 14:30:43 +0000 (14:30 +0000)
commit102f828310b347680407c0a5b51084bfaa88f458
tree570917a30cf61eb9996ff744e989002182414c52tree | snapshot
parent1a38559f48a24075673b363d992c5699e3ef5212commit | diff
fixed notation
helm/software/matita/library/demo/formal_topology.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.