# HG changeset patch
# User paulson
# Date 991129392 -7200
# Node ID 8ee6ed16ea452424019cd718c74ddbaf650a6bbf
# Parent  ad8061b2da6ce363872ffafbdc84e2bc6fcf7586
deleted a needless reference to rtrancl_unfold

diff -r ad8061b2da6c -r 8ee6ed16ea45 doc-src/TutorialI/Sets/Relations.thy
--- a/doc-src/TutorialI/Sets/Relations.thy	Mon May 28 18:48:28 2001 +0200
+++ b/doc-src/TutorialI/Sets/Relations.thy	Tue May 29 11:43:12 2001 +0200
@@ -60,9 +60,6 @@
 @{thm[display] relpow.simps[no_vars]}
 \rulename{relpow.simps}
 
-@{thm[display] rtrancl_unfold[no_vars]}
-\rulename{rtrancl_unfold}
-
 @{thm[display] rtrancl_refl[no_vars]}
 \rulename{rtrancl_refl}