diff --git a/web/theories/safe_range_rc/index.html b/web/theories/safe_range_rc/index.html
new file mode 100644
--- /dev/null
+++ b/web/theories/safe_range_rc/index.html
@@ -0,0 +1,90 @@
+
+
+
+
+
+ Safe_Range_RC - Archive of Formal Proofs
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ Safe_Range_RC
+
+
+
+
+
+
+
+
+
\ No newline at end of file