projects / helm.git / commit
| author | Andrea Asperti <andrea.asperti@unibo.it> | |
| Mon, 14 May 2012 16:37:56 +0000 (16:37 +0000) | ||
| committer | Andrea Asperti <andrea.asperti@unibo.it> | |
| Mon, 14 May 2012 16:37:56 +0000 (16:37 +0000) | ||
| commit | 8a286363f7fcabf364d99bf4ef2d6198d8b38db9 | |
| tree | afdb73656b15e03cb70cad590e6b03a3d0c55da5 | tree | snapshot |
| parent | c20548722d1773bb7ba2b349b2bbb41d94d50b0f | commit | diff |
| matita/matita/lib/turing/universal/tuples.ma | diff | blob | history |