]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9956360) | patch
A lot of changes
authorAndrea Asperti <andrea.asperti@unibo.it>
Sat, 26 Jan 2013 21:24:19 +0000 (21:24 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Sat, 26 Jan 2013 21:24:19 +0000 (21:24 +0000)
commit7e96e893e0ebea2589f619fab861bf9984cff989
tree1975b3ef4dfa12252ce420ec24788e4bf8623780tree | snapshot
parent9956360248d4d6cda67fb1363de22097ccaed533commit | diff
A lot of changes
matita/matita/lib/turing/multi_universal/match.ma diff | blob | history
matita/matita/lib/turing/multi_universal/unistep.ma diff | blob | history
matita/matita/lib/turing/multi_universal/unistep_aux.ma diff | blob | history
matita/matita/lib/turing/simple_machines.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.