projects / helm.git / commit
| author | Andrea Asperti <andrea.asperti@unibo.it> | |
| Tue, 29 May 2012 14:01:20 +0000 (14:01 +0000) | ||
| committer | Andrea Asperti <andrea.asperti@unibo.it> | |
| Tue, 29 May 2012 14:01:20 +0000 (14:01 +0000) | ||
| commit | 05458990020a373abef8df4590d131c96824eac7 | |
| tree | ba18ae86e83d6782c0e11e81793b8398391c5808 | tree | snapshot |
| parent | 43f6de7986407cb15b5b39b18eb59d19d0abfd20 | commit | diff |
| matita/matita/lib/turing/universal/universal.ma | diff | blob | history |