diff options
Diffstat (limited to 'theories/Program/Utils.v')
| -rw-r--r-- | theories/Program/Utils.v | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/theories/Program/Utils.v b/theories/Program/Utils.v index a4eb8bbcc0..fbf0b03cf8 100644 --- a/theories/Program/Utils.v +++ b/theories/Program/Utils.v @@ -8,6 +8,8 @@ (*i $Id$ i*) +(** Various syntaxic shortands that are useful with [Program]. *) + Require Export Coq.Program.Tactics. Set Implicit Arguments. |