]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e1cbf48) | patch
We can always use the "covered by emptyset" relation...
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 19 Jan 2010 12:52:53 +0000 (12:52 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 19 Jan 2010 12:52:53 +0000 (12:52 +0000)
commit711a6659027eb658e356bc4c3db3036306c2f19b
tree0784d5b535f0ce16b7d791b5b6e9ce88df896a3ctree | snapshot
parente1cbf489bba32a8109f3373f43f9e3cfe2e0171fcommit | diff
We can always use the "covered by emptyset" relation...
Closer and closer to Bove-Capretta, but more and more far away from IGFT...
helm/software/matita/nlibrary/topology/igft4.ma [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.