]> matita.cs.unibo.it Git - helm.git/commit
transformation almost finisced, not tested
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 19 Feb 2008 15:38:00 +0000 (15:38 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 19 Feb 2008 15:38:00 +0000 (15:38 +0000)
commitb7535cd20248c564e942cc4e9058d34fbb062c6f
treea5ad450a37ba09b8fedcdfa31b5ef615d613dbf2
parent7782637e13656ec7d1d0ccc84e0d8cf894431187
transformation almost finisced, not tested
helm/software/components/ng_kernel/nCic.ml
helm/software/components/ng_kernel/nCicEnvironment.ml
helm/software/components/ng_kernel/oCic2NCic.ml
helm/software/components/ng_kernel/oCic2NCic.mli
helm/software/components/ng_kernel/oCicTypeChecker.ml