projects / helm.git / commit
| author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Tue, 11 Jul 2006 16:52:02 +0000 (16:52 +0000) | ||
| committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Tue, 11 Jul 2006 16:52:02 +0000 (16:52 +0000) | ||
| commit | 8abfe27fa567230a897c5c622601698ba261adf0 | |
| tree | 66526e3faac6d8d4410f294b56bb32161245f5b2 | tree | snapshot |
| parent | 50fd7ca0b4e54ee341517ea653b3862b9655d4c5 | 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 |