]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fae6f15) | patch
1. developed up to algebras
authorEnrico Zoli <??>
Fri, 20 Oct 2006 09:59:39 +0000 (09:59 +0000)
committerEnrico Zoli <??>
Fri, 20 Oct 2006 09:59:39 +0000 (09:59 +0000)
commitde383fe5538ca5c5e53fae36229070ba5451c970
tree05650b137b4260136206dde1eb6e963fa24bc1b2tree | snapshot
parentfae6f153d6dad76b6ccfce17a6b3d997db338d2ecommit | diff
1. developed up to algebras
2. some lemmas commented out because of a new bug in rewrite
matita/dama/integration_algebras.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.