projects / helm.git / commit
| author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Wed, 21 Jun 2006 13:17:36 +0000 (13:17 +0000) | ||
| committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Wed, 21 Jun 2006 13:17:36 +0000 (13:17 +0000) | ||
| commit | 926559d40e52d8147968bdc2e2875ac5860c0242 | |
| tree | 03015c780329cc7e70a3896368c7cc1c8d29c389 | tree | snapshot |
| parent | a094832a413d3d11cd4031b01a5119452384a7ac | commit | diff |
| matita/contribs/RELATIONAL-ARITHMETICS/add_props.ma | diff | blob | history | |
| matita/contribs/RELATIONAL-ARITHMETICS/nat_gen.ma | [new file with mode: 0644] | blob |
| matita/contribs/RELATIONAL-ARITHMETICS/nat_props.ma | [deleted file] | blob | history |