From c1a5a672088af4ff926e5848396c810c2539c2f5 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Thu, 26 Feb 2004 11:45:02 +0000 Subject: [PATCH] ... --- helm/ocaml/cic_disambiguation/logic_notation.ml | 1 + 1 file changed, 1 insertion(+) diff --git a/helm/ocaml/cic_disambiguation/logic_notation.ml b/helm/ocaml/cic_disambiguation/logic_notation.ml index 192c2a9c1..3c73aabd1 100644 --- a/helm/ocaml/cic_disambiguation/logic_notation.ml +++ b/helm/ocaml/cic_disambiguation/logic_notation.ml @@ -64,6 +64,7 @@ let _ = Cic.Appl [ Cic.MutInd (HelmLibraryObjects.Logic.eq_URI, 0, []); Cic.Implicit (Some `Type); t1; t2 + ])); DisambiguateChoices.add_binary_op "and" "logical and" (mutind HelmLibraryObjects.Logic.and_URI); DisambiguateChoices.add_binary_op "or" "logical or" -- 2.39.2