]> matita.cs.unibo.it Git - helm.git/commit
Code extraction branched.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 2 Aug 2012 15:44:16 +0000 (15:44 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 2 Aug 2012 15:44:16 +0000 (15:44 +0000)
commita484a2c1e0c022753aefae6a74fbce9fe4cf7983
tree1215d6b2121fda22c4929aa124c8dcc994eec927
parent4b076eaf2b73fae27f1ae58d3dfc95a385909f8b
Code extraction branched.
matita/components/ng_kernel/.depend
matita/components/ng_kernel/.depend.opt
matita/components/ng_kernel/Makefile
matita/components/ng_kernel/nCicEnvironment.mli
matita/components/ng_kernel/nCicExtraction.mli
matita/components/ng_library/nCicLibrary.ml
matita/components/ng_library/nCicLibrary.mli