]> matita.cs.unibo.it Git - helm.git/commit
snapshot
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 6 Apr 2009 09:01:59 +0000 (09:01 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 6 Apr 2009 09:01:59 +0000 (09:01 +0000)
commitd7f32114f3806b51c2ee483dcb5a86e08d086a72
tree76a0404548b847b99cd354b75b5a277f31ac904d
parentef05c795559108c1d33cfa048531849807867a81
snapshot
helm/software/components/ng_refiner/nCicMetaSubst.ml
helm/software/components/ng_refiner/nCicMetaSubst.mli
helm/software/components/ng_refiner/nCicRefiner.ml
helm/software/components/ng_refiner/nCicUnification.ml