\ / This software is distributed as is, NO WARRANTY.
V_______________________________________________________________ *)
-val not_prop1: NCic.context -> NCic.term -> bool
-
-val not_prop2: NCic.context -> NCic.term -> bool
-
val process_top_term: string -> NCic.term -> NCic.term
val process_obj: NCic.obj_kind -> NCic.obj_kind