]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ca6abc9) | patch
realizability for the induction principle.
authorAndrea Asperti <andrea.asperti@unibo.it>
Tue, 11 Oct 2005 08:28:47 +0000 (08:28 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Tue, 11 Oct 2005 08:28:47 +0000 (08:28 +0000)
commit0e1469c982280f2606c4b35253a2d5ba91cb16e4
treef48ccc889a354604a27513fd85974a4052e9cc6ftree | snapshot
parentca6abc9a3c4e7b5ab614dfa097f87996a6383d68commit | diff
realizability for the induction principle.
helm/papers/system_T/t.tex diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.