]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 09c8bb5) | patch
Some axioms for Q.
authorAndrea Asperti <andrea.asperti@unibo.it>
Mon, 8 Oct 2007 13:02:33 +0000 (13:02 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Mon, 8 Oct 2007 13:02:33 +0000 (13:02 +0000)
commit962891404ac84c5f91425b89611ac9d8eca13f46
tree54ff4166f377d8a2725ab3af700022601046b826tree | snapshot
parent09c8bb55c25143efdfbd34a20bb2fe6b681760b6commit | diff
Some axioms for Q.
helm/software/matita/library/Q/Qaxioms.ma [new file with mode: 0644] blob
helm/software/matita/library/Q/q.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.