projects / helm.git / commit
| author | Wilmer Ricciotti <ricciott@cs.unibo.it> | |
| Wed, 30 May 2012 14:20:28 +0000 (14:20 +0000) | ||
| committer | Wilmer Ricciotti <ricciott@cs.unibo.it> | |
| Wed, 30 May 2012 14:20:28 +0000 (14:20 +0000) | ||
| commit | a386e0eb6b20909ae78c825203d77647b8fde30c | |
| tree | c32fa21b1629879c8bd22c91c0729f8f46fe5d73 | tree | snapshot |
| parent | fb0cac5935fe56077893f6f02390c40dd1188953 | commit | diff |
| matita/matita/lib/turing/universal/tuples.ma | diff | blob | history | |
| matita/matita/lib/turing/universal/uni_step.ma | diff | blob | history |