]> matita.cs.unibo.it Git - helm.git/commit
Simplest typing for status records.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 14 Sep 2009 14:09:21 +0000 (14:09 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 14 Sep 2009 14:09:21 +0000 (14:09 +0000)
commit7aafcce5268d75a57e69b4085436850567a6c869
tree8521af8d7d7b1f2dcb3f279876d648af58166682
parentb91d9e60b0a5f450d2725d4b9bb3ed7f81ef6d3a
Simplest typing for status records.
12 files changed:
helm/software/components/grafite_parser/nEstatus.ml
helm/software/components/grafite_parser/nEstatus.mli
helm/software/components/lexicon/lexiconEngine.ml
helm/software/components/lexicon/lexiconEngine.mli
helm/software/components/ng_kernel/nCicLibrary.ml
helm/software/components/ng_kernel/nCicLibrary.mli
helm/software/components/ng_refiner/nCicCoercion.ml
helm/software/components/ng_refiner/nCicCoercion.mli
helm/software/components/ng_refiner/nCicUnifHint.ml
helm/software/components/ng_refiner/nCicUnifHint.mli
helm/software/components/ng_refiner/nRstatus.ml
helm/software/components/ng_refiner/nRstatus.mli