Replaced irreducible_paths by all_paths.

--- a/src/HOL/Tools/recfun_codegen.ML	Fri Sep 22 14:30:37 2006 +0200
+++ b/src/HOL/Tools/recfun_codegen.ML	Fri Sep 22 14:32:46 2006 +0200
@@ -92,7 +92,7 @@
 
 fun cycle g (xs, x) =
   if x mem xs then xs
-  else Library.foldl (cycle g) (x :: xs, List.concat (Graph.irreducible_paths (fst g) (x, x)));
+  else Library.foldl (cycle g) (x :: xs, List.concat (Graph.all_paths (fst g) (x, x)));
 
 fun add_rec_funs thy defs gr dep eqs module =
   let