From 32535b28bd75852101541dbd77275d27ff236326 Mon Sep 17 00:00:00 2001
From: msozeau
Date: Thu, 8 Mar 2007 15:30:06 +0000
Subject: Create a program_scope in subtac Utils

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9692 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 contrib/subtac/Utils.v | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/contrib/subtac/Utils.v b/contrib/subtac/Utils.v
index 686a5fd415..0a28ac45ba 100644
--- a/contrib/subtac/Utils.v
+++ b/contrib/subtac/Utils.v
@@ -64,3 +64,9 @@ Extract Inductive prod => "pair" [ "" ].
 Extract Inductive sigT => "pair" [ "" ].
 
 Require Export ProofIrrelevance.
+
+Delimit Scope program_scope with program.
+
+Require Import Specif.
+Notation "'left'" := (left _ _) : program_scope.
+Notation "'right'" := (right _ _) : program_scope.
-- 
cgit v1.2.3