]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b037818) | patch
Added weak realizability.
authorWilmer Ricciotti <ricciott@cs.unibo.it>
Wed, 2 May 2012 10:33:18 +0000 (10:33 +0000)
committerWilmer Ricciotti <ricciott@cs.unibo.it>
Wed, 2 May 2012 10:33:18 +0000 (10:33 +0000)
commit8ca24571c4f2906416e627d88bf5ed87a4182138
tree51a0f0df1e9c30228362f416ef1d9076614a3a86tree | snapshot
parentb0378187bd0aeebb65502ad270264a980de4c8c0commit | diff
Added weak realizability.
matita/matita/lib/turing/mono.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.