]> matita.cs.unibo.it Git - helm.git/commit
irrelevance check half implemented but already impossible to
authorEnrico Tassi <enrico.tassi@inria.fr>
Fri, 30 May 2008 19:21:51 +0000 (19:21 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Fri, 30 May 2008 19:21:51 +0000 (19:21 +0000)
commit28f01bb2d0e5f1b3f180b0b478267d2beb06a5fe
treeb82441f229008f3d431a1f87d006d9a3d5b3b275
parent6b843ebfba2ed19d2bf7a564a9d2fc92da880169
irrelevance check half implemented but already impossible to
complete
helm/software/components/ng_kernel/alluris.txt
helm/software/components/ng_kernel/check.ml
helm/software/components/ng_kernel/nCic2OCic.ml
helm/software/components/ng_kernel/nCicTypeChecker.ml
helm/software/components/ng_kernel/oCic2NCic.ml