]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ec5775c) | patch
Algebra => CoRN
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 26 Mar 2004 14:58:17 +0000 (14:58 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 26 Mar 2004 14:58:17 +0000 (14:58 +0000)
commitac98db69d03adb7be581f4f4cc5577991bc0572d
tree883db880bf8de22e6c0d234a8252816e38a30b6ctree | snapshot
parentec5775c70b8af3137360acec208623b65c5fd572commit | diff
Algebra => CoRN
helm/gTopLevel/tests/match05.cic.test diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.