]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f1c79fb) | patch
Monotape turing machines update.
authorWilmer Ricciotti <ricciott@cs.unibo.it>
Mon, 30 Apr 2012 07:16:17 +0000 (07:16 +0000)
committerWilmer Ricciotti <ricciott@cs.unibo.it>
Mon, 30 Apr 2012 07:16:17 +0000 (07:16 +0000)
commitf6e6486af6eaf33087e3c7180dd115e40d9b191c
tree92264395ee19541579da052f86c1c20643b7c6d7tree | snapshot
parentf1c79fb5fbba8a90df94f5c64aa46366cb28ac59commit | diff
Monotape turing machines update.
matita/matita/lib/turing/mono.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.