]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5310bb6) | patch
Closed all axioms in turing (but not universal).
authorAndrea Asperti <andrea.asperti@unibo.it>
Wed, 27 Jun 2012 09:30:52 +0000 (09:30 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Wed, 27 Jun 2012 09:30:52 +0000 (09:30 +0000)
commitfd282412fff8f2529bb1dfb22a684f5c25af37cb
treead4e2ac5c2066b40888030424f8e185210e75ec4tree | snapshot
parent5310bb693a61b4c2c51bbd05e5ef9a4b764012cdcommit | diff
Closed all axioms in turing (but not universal).
Revised semantics of basic machines for termination
purposes
matita/matita/lib/turing/basic_machines.ma diff | blob | history
matita/matita/lib/turing/mono.ma diff | blob | history
matita/matita/lib/turing/move_char.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.