]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d7d92f4) | patch
Proved old axiom.
authorWilmer Ricciotti <ricciott@cs.unibo.it>
Tue, 29 Jan 2013 10:46:18 +0000 (10:46 +0000)
committerWilmer Ricciotti <ricciott@cs.unibo.it>
Tue, 29 Jan 2013 10:46:18 +0000 (10:46 +0000)
commit388c27d3b8aab39c4c0d23b118b47f75144293d6
treea023569716a41a4bd624add60f239669e56363d6tree | snapshot
parentd7d92f459cf6d76051c255497ee1ca898b111b76commit | diff
Proved old axiom.
matita/matita/lib/turing/inject.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.