Commit 846f9704 authored by Samuel Ben Hamou's avatar Samuel Ben Hamou
Browse files

Rectification des dépendances circulaires.

parent 470df46b
...@@ -4,7 +4,7 @@ ...@@ -4,7 +4,7 @@
(** The NatDed development, Pierre Letouzey, 2019. (** The NatDed development, Pierre Letouzey, 2019.
This file is released under the CC0 License, see the LICENSE file *) This file is released under the CC0 License, see the LICENSE file *)
Require Import Defs NameProofs Mix Meta Countable Models. Require Import Defs NameProofs Mix Meta Countable.
Import ListNotations. Import ListNotations.
Local Open Scope bool_scope. Local Open Scope bool_scope.
Local Open Scope eqb_scope. Local Open Scope eqb_scope.
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment