]> matita.cs.unibo.it Git - helm.git/commit
New licence used uniformly everywhere.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 14 May 2008 13:45:41 +0000 (13:45 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 14 May 2008 13:45:41 +0000 (13:45 +0000)
commite48acbc0d00717ce8f12412673ece4e4ee0e9642
tree580f9df3ccfb35f15486d6bd8d93cf10067928f9
parentecf6f2741d56261acf4580379d35117d80385da2
New licence used uniformly everywhere.
23 files changed:
helm/software/components/ng_kernel/alluris.txt
helm/software/components/ng_kernel/check.ml
helm/software/components/ng_kernel/nCic.ml
helm/software/components/ng_kernel/nCic2OCic.ml
helm/software/components/ng_kernel/nCic2OCic.mli
helm/software/components/ng_kernel/nCicEnvironment.ml
helm/software/components/ng_kernel/nCicEnvironment.mli
helm/software/components/ng_kernel/nCicLibrary.ml
helm/software/components/ng_kernel/nCicLibrary.mli
helm/software/components/ng_kernel/nCicPp.ml
helm/software/components/ng_kernel/nCicPp.mli
helm/software/components/ng_kernel/nCicReduction.mli
helm/software/components/ng_kernel/nCicSubstitution.mli
helm/software/components/ng_kernel/nCicTypeChecker.ml
helm/software/components/ng_kernel/nCicTypeChecker.mli
helm/software/components/ng_kernel/nCicUtils.ml
helm/software/components/ng_kernel/nCicUtils.mli
helm/software/components/ng_kernel/nReference.ml
helm/software/components/ng_kernel/nUri.ml
helm/software/components/ng_kernel/nUri.mli
helm/software/components/ng_kernel/oCic2NCic.ml
helm/software/components/ng_kernel/oCic2NCic.mli
helm/software/components/ng_kernel/rt.ml