]>
author | Andrea Asperti <andrea.asperti@unibo.it> | |
Mon, 30 Apr 2012 09:29:09 +0000 (09:29 +0000) | ||
committer | Andrea Asperti <andrea.asperti@unibo.it> | |
Mon, 30 Apr 2012 09:29:09 +0000 (09:29 +0000) | ||
commit | 100184e7920cc3c70b50b694a17fa40ecde45e77 | |
tree | 07c0b84b0591fc9238df5f01b3498ebe5e2f8838 | tree | snapshot |
parent | 09a348f01d0a42a1936a3e90803fd27dd49984f4 | commit | diff |
matita/matita/lib/turing/if_machine.ma | diff | blob | history | |
matita/matita/lib/turing/mono.ma | diff | blob | history |