]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 894c3e4) | patch
Up to absolute value
authorEnrico Zoli <??>
Fri, 3 Nov 2006 14:39:51 +0000 (14:39 +0000)
committerEnrico Zoli <??>
Fri, 3 Nov 2006 14:39:51 +0000 (14:39 +0000)
commit5f0170bd697f92e6bf9c505bc107d79c873460dd
tree186a6420929df8af2e6c84cdcc94b310995b0ccctree | snapshot
parent894c3e4038c93b484896e81132eae55046e47605commit | diff
Up to absolute value
helm/software/matita/dama/reals.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.