]> matita.cs.unibo.it Git - helm.git/commit
added ppobj
authorEnrico Tassi <enrico.tassi@inria.fr>
Fri, 4 Apr 2008 16:40:05 +0000 (16:40 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Fri, 4 Apr 2008 16:40:05 +0000 (16:40 +0000)
commit0bfad3f438ba29135f2c18d1bf3cb0c8f462a205
treeb7c44f0f70e70df99c68c94ac587d2797b8f55a4
parent3ec1830d5251709ed6c4899c74903498a6cd2744
added ppobj
helm/software/components/ng_kernel/check.ml
helm/software/components/ng_kernel/nCicPp.ml
helm/software/components/ng_kernel/nCicPp.mli