]>
matita.cs.unibo.it Git - helm.git/blobdiff - matitaB/components/ng_refiner/nCicUnifHint.mli
end
class virtual status :
end
class virtual status :
object ('self)
inherit g_status
inherit NCic.status
object ('self)
inherit g_status
inherit NCic.status