]> matita.cs.unibo.it Git - helm.git/commit
more proof irrelevance
authorWilmer Ricciotti <ricciott@cs.unibo.it>
Mon, 9 Jun 2008 16:02:24 +0000 (16:02 +0000)
committerWilmer Ricciotti <ricciott@cs.unibo.it>
Mon, 9 Jun 2008 16:02:24 +0000 (16:02 +0000)
commita3b43762ca9cfb746933dcd991bfc363b5fdd9b7
treef56d22ac8f48b07e81efda85c390fecc09ad5d5e
parent3cd093c8c3f5454514802e5d3ae5edc150dbbf72
more proof irrelevance
helm/software/components/ng_kernel/alluris.txt
helm/software/components/ng_kernel/check.ml
helm/software/components/ng_kernel/nCicReduction.ml
helm/software/components/ng_kernel/nCicReduction.mli
helm/software/components/ng_kernel/nCicTypeChecker.ml
helm/software/components/ng_kernel/oCic2NCic.ml
helm/software/components/ng_kernel/test.ma