]> matita.cs.unibo.it Git - helm.git/commit
updated dependences
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 11 Jul 2006 16:52:02 +0000 (16:52 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 11 Jul 2006 16:52:02 +0000 (16:52 +0000)
commit8abfe27fa567230a897c5c622601698ba261adf0
tree66526e3faac6d8d4410f294b56bb32161245f5b2
parent50fd7ca0b4e54ee341517ea653b3862b9655d4c5
updated dependences
helm/software/matita/contribs/RELATIONAL-ARITHMETICS/nat_defs.ma
helm/software/matita/contribs/RELATIONAL-ARITHMETICS/nat_fwd.ma