]> matita.cs.unibo.it Git - helm.git/history - helm/software/components/ng_library/nCic2OCic.ml
cube.ma: some pts specifications of the lambda-cube
[helm.git] / helm / software / components / ng_library / nCic2OCic.ml
2009-10-07 Claudio Sacerdoti... - oCic2NCic and nCic2OCic moved to ng_library