]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1f46c68) | patch
Some more theorems.
authorAndrea Asperti <andrea.asperti@unibo.it>
Tue, 5 Feb 2008 16:21:37 +0000 (16:21 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Tue, 5 Feb 2008 16:21:37 +0000 (16:21 +0000)
commit57ff5cdc5a03a3de6f9366d4427b8188e5d8dec2
treefbc3c8e7c201c62be8745274f185077e39e4c115tree | snapshot
parent1f46c68d7ad8e10c0321b42f4a653df8fdf3be12commit | diff
Some more theorems.
helm/software/matita/library/nat/sqrt.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.