]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 86241d4) | patch
the coimplication connective (start)
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 26 Nov 2005 15:39:02 +0000 (15:39 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 26 Nov 2005 15:39:02 +0000 (15:39 +0000)
commitb2b7dd94197364a06841a8ef178e94fe7bfac57b
tree7916dc84a54c9aeaac56dd2f29fa2a71050b6703tree | snapshot
parent86241d46558e3a4979fc786e47ce78f90eb9190ccommit | diff
the coimplication connective (start)
helm/matita/contribs/PREDICATIVE-TOPOLOGY/iff.ma [new file with mode: 0644] blob
helm/matita/matita.lang diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.