]> matita.cs.unibo.it Git - helm.git/commit
snapshot for CSC
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 8 Sep 2009 18:48:03 +0000 (18:48 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 8 Sep 2009 18:48:03 +0000 (18:48 +0000)
commite869500069d11aadd7bbe8afddcdd9044d0b56a7
treebe4e5b88fe90c143f2b644d964f40d414320922f
parentae52a8447fbe67847eba356d26b568d637c90652
snapshot for CSC
12 files changed:
helm/software/components/grafite_engine/grafiteEngine.ml
helm/software/components/ng_refiner/.depend
helm/software/components/ng_refiner/Makefile
helm/software/components/ng_refiner/nCicCoercion.ml
helm/software/components/ng_refiner/nCicCoercion.mli
helm/software/components/ng_refiner/nCicMetaSubst.ml
helm/software/components/ng_refiner/nCicRefiner.ml
helm/software/components/ng_refiner/nCicUnifHint.ml
helm/software/components/ng_refiner/nCicUnifHint.mli
helm/software/components/ng_refiner/nRstatus.ml
helm/software/components/ng_refiner/nRstatus.mli
helm/software/components/ng_tactics/nCicElim.ml