]> matita.cs.unibo.it Git - helm.git/commit
many axioms and daemons removed
authorWilmer Ricciotti <ricciott@cs.unibo.it>
Sun, 27 Jan 2013 21:30:24 +0000 (21:30 +0000)
committerWilmer Ricciotti <ricciott@cs.unibo.it>
Sun, 27 Jan 2013 21:30:24 +0000 (21:30 +0000)
commit3026dfea8eae158433ed13df5156a733fa926794
tree913f7967e421e03ff8affcf595cbef5a95439baa
parentae40fd25a3459c61e91fe67adff4381d4dd29ab9
many axioms and daemons removed
matita/matita/lib/turing/multi_universal/match.ma
matita/matita/lib/turing/multi_universal/unistep.ma
matita/matita/lib/turing/multi_universal/unistep_aux.ma