]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9542046) | patch
Definition of the structure of the transition table of a
authorWilmer Ricciotti <ricciott@cs.unibo.it>
Fri, 11 May 2012 17:03:27 +0000 (17:03 +0000)
committerWilmer Ricciotti <ricciott@cs.unibo.it>
Fri, 11 May 2012 17:03:27 +0000 (17:03 +0000)
commit0a8212f3e87b75e8ab47dc853e612a9a3e1d2544
tree013ba34d5c09d1253550c7496ca85b468a88ffb2tree | snapshot
parent9542046378dfbf3775dff54bcb26405961090c3acommit | diff
Definition of the structure of the transition table of a
simulated Turing Machine.
matita/matita/lib/turing/universal/tuples.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.