]> matita.cs.unibo.it Git - helm.git/commit
Some results on relations. Moved things around.
authorAndrea Asperti <andrea.asperti@unibo.it>
Tue, 5 Jun 2012 11:29:18 +0000 (11:29 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Tue, 5 Jun 2012 11:29:18 +0000 (11:29 +0000)
commite37238b40356ee1b5e7859cf0eb6567918f2ebec
treec64369606dbf6839b125305ac563c48d74d8723f
parent2682e8a14cbd59e1dfd01e463d22aabd530e7ba3
Some results on relations. Moved things around.
matita/matita/lib/basics/relations.ma
matita/matita/lib/turing/if_machine.ma
matita/matita/lib/turing/mono.ma
matita/matita/lib/turing/while_machine.ma