X-Git-Url: http://git.megacz.com/?p=coinductive-monad.git;a=blobdiff_plain;f=Computation%2FEval.v;fp=Recursion%2FEval.v;h=07d79e4d104a8df9b9e0a364820dbd4b0f78f704;hp=6c9b0163a330432886d9af96c3d2d449ba9cee72;hb=ad8905d391e4e2015b6525a81a3b5e1ad607439e;hpb=7439e43c33a10817e19e7a5f26435d2097dc262d

diff --git a/Recursion/Eval.v b/Computation/Eval.v
similarity index 89%
rename from Recursion/Eval.v
rename to Computation/Eval.v
index 6c9b016..07d79e4 100644
--- a/Recursion/Eval.v
+++ b/Computation/Eval.v
@@ -1,5 +1,5 @@
-Require Export Recursion.Monad.
-Require Export Recursion.Termination.
+Require Export Computation.Monad.
+Require Export Computation.Termination.
 
 (* evaluate up to [n] computation steps *)
 Fixpoint bounded_eval (A:Set) (n:nat) (c:#A) {struct n} : option A :=