]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: aed835f) | patch
Added Qplus_andrea.ma
authorAndrea Asperti <andrea.asperti@unibo.it>
Fri, 6 Jun 2008 09:03:57 +0000 (09:03 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Fri, 6 Jun 2008 09:03:57 +0000 (09:03 +0000)
commit604e6fb48abab6af7591b13ae06de94115db9694
tree84f88458cb69f8daf0999243760d814a0fec4169tree | snapshot
parentaed835fe44092519f9f5f7f302419a92f9702525commit | diff
Added Qplus_andrea.ma
helm/software/matita/library/Q/Qplus_andrea.ma [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.