]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 35ead7a) | patch
Some notation added
authorWilmer Ricciotti <ricciott@cs.unibo.it>
Thu, 26 Jul 2007 13:06:09 +0000 (13:06 +0000)
committerWilmer Ricciotti <ricciott@cs.unibo.it>
Thu, 26 Jul 2007 13:06:09 +0000 (13:06 +0000)
commit97e7c8fb7707376c601dafe62bf872d3aa926e2e
tree5b5613e2b2ee02ea26c4acf0e3ee05c2b50ed841tree | snapshot
parent35ead7a5cc04184e60688e7cb38549e7772577c3commit | diff
Some notation added
matita/library/Fsub/defn.ma diff | blob | history
matita/library/Fsub/part1a.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.