]> matita.cs.unibo.it Git - helm.git/commit
fixed
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 6 Mar 2008 16:21:16 +0000 (16:21 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 6 Mar 2008 16:21:16 +0000 (16:21 +0000)
commit20389dbd1ad5769688518df414983bb449fd44ef
tree207b0bd231cbfb197575ca80fdc63e7809a46931
parente5d38e056c11018a80908a90e9dfde23a76e8921
fixed
helm/software/matita/library/nat/neper.ma