projects / helm.git / commit
| author | Andrea Asperti <andrea.asperti@unibo.it> | |
| Sun, 3 Aug 2014 12:08:58 +0000 (12:08 +0000) | ||
| committer | Andrea Asperti <andrea.asperti@unibo.it> | |
| Sun, 3 Aug 2014 12:08:58 +0000 (12:08 +0000) | ||
| commit | d8ddeb030acbf2246693dc0b65c321ee39e4328b | |
| tree | e80fa7701220e7ba9631f2e51dd5a1ede7ef580f | tree | snapshot |
| parent | 3d819f0253de734d45b2ecd2fdb96c7a049f6d32 | commit | diff |
| matita/matita/lib/reverse_complexity/speed_clean.ma | diff | blob | history | |
| matita/matita/lib/reverse_complexity/speed_def.ma | [new file with mode: 0644] | blob |
| matita/matita/lib/reverse_complexity/speed_new.ma | [new file with mode: 0644] | blob |