]> matita.cs.unibo.it Git - helm.git/commit - helm/software/components/ng_refiner/nCicRefiner.ml
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a806d66) | patch
Closed metas must have closed (expected) types.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 12 Oct 2009 14:22:34 +0000 (14:22 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 12 Oct 2009 14:22:34 +0000 (14:22 +0000)
commit818403f4064a0aecbd316f239127a67b8cbfe34c
tree2e8b3564f1bc0b5d4c66b18dd3dc97353ad862f4tree | snapshot
parenta806d6607af696065af3c9b0e3373de2846bf174commit | diff
Closed metas must have closed (expected) types.
helm/software/components/ng_refiner/nCicRefiner.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.