]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9e0bf38) | 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)
commit6a70643b6520564aa460057bac0806523b43656a
tree38c6524f8ad3c7e52a86ef7eb1caefc4cb7f3345tree | snapshot
parent9e0bf389e79dbc38e917c527489453dcf5a15983commit | diff
1. developed up to algebras
2. some lemmas commented out because of a new bug in rewrite
helm/software/matita/dama/integration_algebras.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.