]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a5e886d) | patch
dependences updated again :)
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 11 Jul 2006 17:08:41 +0000 (17:08 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 11 Jul 2006 17:08:41 +0000 (17:08 +0000)
commit902af8224c7fc934da265bff3b1943c0c4c6da10
tree596eb69d25debd6f45a11c9df38e1c7864cb5687tree | snapshot
parenta5e886d4114b6c120406573f915572d0a38c8c01commit | diff
dependences updated again :)
matita/contribs/RELATIONAL-ARITHMETICS/nat_defs.ma diff | blob | history
matita/contribs/RELATIONAL-ARITHMETICS/nat_fwd.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.