]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4853e6e) | patch
semantics of unistep
authorAndrea Asperti <andrea.asperti@unibo.it>
Sun, 20 Jan 2013 12:31:17 +0000 (12:31 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Sun, 20 Jan 2013 12:31:17 +0000 (12:31 +0000)
commit00101d30f0bf914a26ed2ec61a1aa38598b05209
tree08cfb49f961f7a1f20d1e3f378ec357d7382f240tree | snapshot
parent4853e6e91abc124f9e6db1006cd731dbcf5708b9commit | diff
semantics of unistep
matita/matita/lib/turing/mono.ma diff | blob | history
matita/matita/lib/turing/multi_universal/normalTM.ma diff | blob | history
matita/matita/lib/turing/multi_universal/tuples.ma diff | blob | history
matita/matita/lib/turing/multi_universal/unistep_aux.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.