]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 885eaeb) | patch
Comments updated with new reflections.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 9 Oct 2006 14:04:31 +0000 (14:04 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 9 Oct 2006 14:04:31 +0000 (14:04 +0000)
commit0a3f0acfde37361bb12f53aeb89988ab188233d6
tree404d3ab2988755da98bb1fb5f475ea830b5a7969tree | snapshot
parent885eaebbb46c16f65ac312f6cf585700fc1b167dcommit | diff
Comments updated with new reflections.
helm/software/components/cic_unification/cicMetaSubst.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.