projects / helm.git / commit
| author | Andrea Asperti <andrea.asperti@unibo.it> | |
| Thu, 17 Jan 2013 14:00:11 +0000 (14:00 +0000) | ||
| committer | Andrea Asperti <andrea.asperti@unibo.it> | |
| Thu, 17 Jan 2013 14:00:11 +0000 (14:00 +0000) | ||
| commit | 09d38cb67e92bc6cdfe834cb1524a79643cc13e7 | |
| tree | 5124bd00c97c88952899670da3ac28fbb2c9530a | tree | snapshot |
| parent | 1f740f74d94187a2376228a86faf79ea949c0dff | commit | diff |
| matita/matita/lib/arithmetics/primes.ma | diff | blob | history | |
| matita/matita/lib/basics/lists/list.ma | diff | blob | history | |
| matita/matita/lib/turing/multi_universal/tuples.ma | diff | blob | history |