]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 74d4ef0) | patch
More proofs in if-then-else machine.
authorWilmer Ricciotti <ricciott@cs.unibo.it>
Mon, 30 Apr 2012 15:12:42 +0000 (15:12 +0000)
committerWilmer Ricciotti <ricciott@cs.unibo.it>
Mon, 30 Apr 2012 15:12:42 +0000 (15:12 +0000)
commit1ed95da08b483c7f7e69fc645bee455572cad031
tree40c3f4acb3d645c344d20379ed55ea66e9befcb6tree | snapshot
parent74d4ef0ea9a72ecec47419c776ac05c51114d8a0commit | diff
More proofs in if-then-else machine.
matita/matita/lib/turing/if_machine.ma diff | blob | history
matita/matita/lib/turing/mono.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.