rename Recursion

[coinductive-monad.git] / Computation / Termination.v

diff --git a/Recursion/Termination.v b/Computation/Termination.v
similarity index 99%
rename from Recursion/Termination.v
rename to Computation/Termination.v
index 4d47a4a..d20d57a 100644 (file)
--- a/Recursion/Termination.v
+++ b/Computation/Termination.v
@@ -1,4 +1,4 @@
-Require Import Recursion.Monad.
+Require Import Computation.Monad.

 Require Import Coq.Logic.JMeq.
 
 Section Termination.
 Require Import Coq.Logic.JMeq.
 
 Section Termination.