From 126f9a188da3263da8fd47629405dbfbe2f2d0e9 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Tue, 2 Feb 2016 12:38:00 -0500 Subject: [PATCH] Export List --- Frap.v | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Frap.v b/Frap.v index ca73cd3..02fdddc 100644 --- a/Frap.v +++ b/Frap.v @@ -1,7 +1,7 @@ Require Import String Arith Omega Program Sets Relations Map Var Invariant. Export String Arith Sets Relations Map Var Invariant. Require Import List. -Export ListNotations. +Export List ListNotations. Open Scope string_scope. Ltac inductN n :=