]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 26bd030) | 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)
commitaaad3ea82df41676a1f438683223f196f6800f59
tree935b44afbd8e874be211514422794afb4510d10dtree | snapshot
parent26bd030af58a7f4a5dff3c41ad5431e31e851d3ecommit | diff
Up to absolute value
matita/dama/reals.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.