Commit c9783d14 authored by Samuel Ben Hamou's avatar Samuel Ben Hamou
Browse files

Revert "Rectification des dépendances circulaires."

This reverts commit 846f9704.
parent 93bf716d
......@@ -4,7 +4,7 @@
(** The NatDed development, Pierre Letouzey, 2019.
This file is released under the CC0 License, see the LICENSE file *)
Require Import Defs NameProofs Mix Meta Countable.
Require Import Defs NameProofs Mix Meta Countable Models.
Import ListNotations.
Local Open Scope bool_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