]> matita.cs.unibo.it Git - helm.git/history - helm/ocaml/cic/cicUtil.mli
bumped version (tag soon)
[helm.git] / helm / ocaml / cic / cicUtil.mli
2004-01-27 Stefano Zacchiroliadded CicUtil module with just lookup_meta function