-val mk_elims: NCic.obj -> CicNotationPt.term CicNotationPt.obj list
-val mk_projections: NCic.obj -> CicNotationPt.term CicNotationPt.obj list
+val mk_elims: NCic.obj -> NotationPt.term NotationPt.obj list
+val mk_projections: NCic.obj -> NotationPt.term NotationPt.obj list