]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 71b481a) | patch
better notation
authorEnrico Tassi <enrico.tassi@inria.fr>
Wed, 9 Jul 2008 14:16:17 +0000 (14:16 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Wed, 9 Jul 2008 14:16:17 +0000 (14:16 +0000)
commit0e50062a04d72b333403d633a77dd113b32d6784
treef83a67e4dca04f1e4b7064b51ead22d324e07a93tree | snapshot
parent71b481a2c2c95d9f80ff49f828336098b3de3924commit | diff
better notation
helm/software/matita/library/demo/formal_topology.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.