projects / helm.git / commit
| author | Andrea Asperti <andrea.asperti@unibo.it> | |
| Tue, 30 Apr 2013 15:53:37 +0000 (15:53 +0000) | ||
| committer | Andrea Asperti <andrea.asperti@unibo.it> | |
| Tue, 30 Apr 2013 15:53:37 +0000 (15:53 +0000) | ||
| commit | df4cfc76ab059f6b3d5daf324712ad27ec281088 | |
| tree | 415abe2cc9e20438e9c5937eb629b01271bf51e4 | tree | snapshot |
| parent | d67b6a744a51aa8f0e33ea4bf5ff29ffce762ccb | commit | diff |
| matita/matita/lib/arithmetics/bigops.ma | diff | blob | history | |
| matita/matita/lib/arithmetics/congruence.ma | diff | blob | history |