(* *)
(**************************************************************************)
-include "Basic-2/grammar/item.ma".
+include "Basic_2/grammar/item.ma".
(* TERMS ********************************************************************)
interpretation "local reference (term)" 'LRef i = (TAtom (LRef i)).
+interpretation "global reference (term)" 'GRef p = (TAtom (GRef p)).
+
interpretation "term construction (atomic)" 'SItem I = (TAtom I).
interpretation "term construction (binary)" 'SItem I T1 T2 = (TPair I T1 T2).