projects / helm.git / commit
| author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Tue, 11 Jul 2006 17:08:41 +0000 (17:08 +0000) | ||
| committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Tue, 11 Jul 2006 17:08:41 +0000 (17:08 +0000) | ||
| commit | 4fa0b4742e97c973000c9b9b48523c0a22531b91 | |
| tree | 4286e8fcecd2088075cca5cdbc79599093c164f0 | tree | snapshot |
| parent | 8abfe27fa567230a897c5c622601698ba261adf0 | commit | diff |
| helm/software/matita/contribs/RELATIONAL-ARITHMETICS/nat_defs.ma | diff | blob | history | |
| helm/software/matita/contribs/RELATIONAL-ARITHMETICS/nat_fwd.ma | diff | blob | history |