projects / helm.git / commit
| author | Andrea Asperti <andrea.asperti@unibo.it> | |
| Fri, 13 Apr 2012 10:24:39 +0000 (10:24 +0000) | ||
| committer | Andrea Asperti <andrea.asperti@unibo.it> | |
| Fri, 13 Apr 2012 10:24:39 +0000 (10:24 +0000) | ||
| commit | 1bb7e6b001ef3d712a9da6fbad0405b130e9f819 | |
| tree | 8ed38b03805a544a596c45745a796dd13a2b9884 | tree | snapshot |
| parent | 7179a3f3e04efdfd7dee4a25416f05d03746ad26 | commit | diff |
| matita/matita/lib/turing/complexity.ma | [new file with mode: 0644] | blob |
| matita/matita/lib/turing/turing.ma | diff | blob | history |