projects / helm.git / commit
| author | Wilmer Ricciotti <ricciott@cs.unibo.it> | |
| Fri, 25 May 2012 16:15:31 +0000 (16:15 +0000) | ||
| committer | Wilmer Ricciotti <ricciott@cs.unibo.it> | |
| Fri, 25 May 2012 16:15:31 +0000 (16:15 +0000) | ||
| commit | b6ba48fc7877871aaaf9f8af415f60420d382f18 | |
| tree | 799bd107ffe3372e22bd7129acff9c6153c53169 | tree | snapshot |
| parent | 75bf98d7d7a16ff8ce2c530e718809e2bc331568 | commit | diff |
| matita/matita/lib/turing/universal/tuples.ma | diff | blob | history |