rename Recursion

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

diff --git a/Recursion/Tactics.v b/Computation/Tactics.v
similarity index 96%
rename from Recursion/Tactics.v
rename to Computation/Tactics.v
index bf441df..c710817 100644 (file)
--- a/Recursion/Tactics.v
+++ b/Computation/Tactics.v
@@ -1,4 +1,4 @@
-Require Import Recursion.Monad.
+Require Import Computation.Monad.

 
 (* decomposition lemma *)
 Definition decomp (A:Set)(c:#A) : #A := 
 
 (* decomposition lemma *)
 Definition decomp (A:Set)(c:#A) : #A :=