]> matita.cs.unibo.it Git - helm.git/commit
Porting alla nuova def. di negazione
authorAndrea Asperti <andrea.asperti@unibo.it>
Thu, 18 Mar 2010 11:36:56 +0000 (11:36 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Thu, 18 Mar 2010 11:36:56 +0000 (11:36 +0000)
commitfffc8fda02a15fd60817ab1b828cfd6fe2968a11
tree7c55b4e943ce3864d5168fc4b38c701176e4f06d
parentfb0a4ba033da3ea305e0add8c2ec4573e95fa3d2
Porting alla nuova def. di negazione
helm/software/matita/nlibrary/basics/functions.ma
helm/software/matita/nlibrary/basics/relations.ma