]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6a70643) | patch
Up to f_algebras.
authorEnrico Zoli <??>
Fri, 20 Oct 2006 14:28:55 +0000 (14:28 +0000)
committerEnrico Zoli <??>
Fri, 20 Oct 2006 14:28:55 +0000 (14:28 +0000)
commitc26b4e116aa6a785ff824d9088664852b179d69e
treec797849690531cebc4c9eb504279e422e996b007tree | snapshot
parent6a70643b6520564aa460057bac0806523b43656acommit | diff
Up to f_algebras.
helm/software/matita/dama/integration_algebras.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.