]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f5359a9) | patch
Many changes
authorAndrea Asperti <andrea.asperti@unibo.it>
Fri, 21 Dec 2012 12:39:18 +0000 (12:39 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Fri, 21 Dec 2012 12:39:18 +0000 (12:39 +0000)
commit77bf99a9ac05a61573d621d576e269870668f076
tree0e7558cde4da843e2432c905ecf2b9fea8e4f709tree | snapshot
parentf5359a93d72e95e0d4335f8acaba291848fa77c8commit | diff
Many changes
matita/matita/lib/turing/basic_machines.ma diff | blob | history
matita/matita/lib/turing/if_machine.ma diff | blob | history
matita/matita/lib/turing/mono.ma diff | blob | history
matita/matita/lib/turing/universal/marks.ma diff | blob | history
matita/matita/lib/turing/universal/match_machines.ma diff | blob | history
matita/matita/lib/turing/while_machine.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.