projects / helm.git / commit
| author | Wilmer Ricciotti <ricciott@cs.unibo.it> | |
| Thu, 17 Jan 2013 14:05:02 +0000 (14:05 +0000) | ||
| committer | Wilmer Ricciotti <ricciott@cs.unibo.it> | |
| Thu, 17 Jan 2013 14:05:02 +0000 (14:05 +0000) | ||
| commit | 2f8eacc69333b13fe143cc007681f21464e06529 | |
| tree | 05f3c43d2579bd691b656feae242a2377d4bde86 | tree | snapshot |
| parent | 09d38cb67e92bc6cdfe834cb1524a79643cc13e7 | commit | diff |
| matita/matita/lib/turing/multi_universal/unistep_aux.ma | diff | blob | history |