]> matita.cs.unibo.it Git - helm.git/commit
Closed some daemons
authorAndrea Asperti <andrea.asperti@unibo.it>
Mon, 14 Jan 2013 11:46:18 +0000 (11:46 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Mon, 14 Jan 2013 11:46:18 +0000 (11:46 +0000)
commit64a752136a679bcab14a9cd01823c18b7cc991de
treecc111d49d10ca946ea100f041cdd728ed731e92f
parent723514507b1e2e58c0a8c7bcc39c5d1301b910bc
Closed some daemons
matita/matita/lib/turing/multi_universal/compare.ma
matita/matita/lib/turing/multi_universal/match.ma
matita/matita/lib/turing/multi_universal/moves.ma
matita/matita/lib/turing/multi_universal/moves_2.ma