]> matita.cs.unibo.it Git - helm.git/commit
guarded realizability
authorAndrea Asperti <andrea.asperti@unibo.it>
Tue, 7 Aug 2012 09:07:22 +0000 (09:07 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Tue, 7 Aug 2012 09:07:22 +0000 (09:07 +0000)
commitbed400cf37906a25129907986b10f24cb499dbb4
tree7f6780169636a5b7efcb77e3be5203941d75b24b
parentbd5d6160029247d8c4e3f8cec82f7acd7199d7d5
guarded realizability
matita/matita/lib/turing/mono.ma
matita/matita/lib/turing/universal/match_machines.ma
matita/matita/lib/turing/while_machine.ma