]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e8e9d46) | patch
Added a turing/universal directory for the universal turing machine (and
authorWilmer Ricciotti <ricciott@cs.unibo.it>
Fri, 4 May 2012 15:09:54 +0000 (15:09 +0000)
committerWilmer Ricciotti <ricciott@cs.unibo.it>
Fri, 4 May 2012 15:09:54 +0000 (15:09 +0000)
commit08a53e81b883cc19ddec52a662e9c171656ec364
tree828917fdc4f0c963ff64669e56f6e78028428011tree | snapshot
parente8e9d469448b132ef50325d901a688581efbc971commit | diff
Added a turing/universal directory for the universal turing machine (and
auxiliary definitions).
Added the definition of machine move_char (variant c) to be used in the
universal machine.
Small library refactoring.
matita/matita/lib/basics/deqsets.ma diff | blob | history
matita/matita/lib/basics/finset.ma diff | blob | history
matita/matita/lib/basics/lists/list.ma diff | blob | history
matita/matita/lib/basics/star.ma diff | blob | history
matita/matita/lib/turing/mono.ma diff | blob | history
matita/matita/lib/turing/while_machine.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.