]> matita.cs.unibo.it Git - helm.git/commit
maxmeta function to return the heighest meta used so far
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sun, 17 May 2009 19:13:03 +0000 (19:13 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sun, 17 May 2009 19:13:03 +0000 (19:13 +0000)
commit16fc013c83981bb5c2bb24ac4e06bc0ca1fda80d
tree990ab915a5a76fb2b9768a4399458b4a358d38c7
parentbfaa39fb1d8cd4abd07c23a61c69630f9da33157
maxmeta function to return the heighest meta used so far
helm/software/components/ng_refiner/nCicMetaSubst.mli