projects / helm.git / commit
| author | Wilmer Ricciotti <ricciott@cs.unibo.it> | |
| Thu, 24 Jan 2013 09:38:30 +0000 (09:38 +0000) | ||
| committer | Wilmer Ricciotti <ricciott@cs.unibo.it> | |
| Thu, 24 Jan 2013 09:38:30 +0000 (09:38 +0000) | ||
| commit | 26fd200d0b1feff8adaff18d482c30e39eaf01cf | |
| tree | 8398224726192d29c61fac32c6017a6d652585de | tree | snapshot |
| parent | 5c35602808c464a9098b3f39afb7dced059e0d6d | commit | diff |
| matita/matita/lib/turing/multi_universal/match.ma | diff | blob | history | |
| matita/matita/lib/turing/multi_universal/moves_2.ma | diff | blob | history |