More locale test code.

--- a/src/FOL/ex/LocaleTest.thy	Mon Sep 04 15:27:00 2006 +0200
+++ b/src/FOL/ex/LocaleTest.thy	Mon Sep 04 15:27:30 2006 +0200
@@ -780,4 +780,18 @@
   shows "(x +++ y) +++ z = x +++ (y +++ z)"
   apply (rule r_assoc) done
 
+
+subsection {* Import of Locales with Predicates as Interpretation *}
+
+locale Ra =
+  assumes Ra: "True"
+
+locale Rb = Ra +
+  assumes Rb: "True"
+
+locale Rc = Rb +
+  assumes Rc: "True"
+
+print_locale! Rc
+
 end