]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 315f37e) | patch
Non general recursion implemented via recursion over unary (?) inductive
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 21 Oct 2009 20:11:22 +0000 (20:11 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 21 Oct 2009 20:11:22 +0000 (20:11 +0000)
commitbf156ee614529e006190285801e1c7b499cbe029
treed998c62ca82d63bf738d42d4e672788e37d28a69tree | snapshot
parent315f37e0c47d4af8c1767b4f836d74c7125ab736commit | diff
Non general recursion implemented via recursion over unary (?) inductive
generated formal topologies.
helm/software/matita/nlibrary/topology/igft2.ma [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.