]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 71303c3) | patch
Square root added.
authorWilmer Ricciotti <ricciott@cs.unibo.it>
Thu, 31 Jan 2008 14:51:45 +0000 (14:51 +0000)
committerWilmer Ricciotti <ricciott@cs.unibo.it>
Thu, 31 Jan 2008 14:51:45 +0000 (14:51 +0000)
commit31746c2da8a3a669d07fa4c7a1c043d7c958f789
tree1df92b3fe36b2a6d0781171f9b052cddd4fc5c5ctree | snapshot
parent71303c30466f24b8953def22a80175c00dd975afcommit | diff
Square root added.
helm/software/matita/library/nat/sqrt.ma [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.