X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fon-line%2Fhtml%2Fcontrol.html;h=183347a9792c4f4b390a52bb0d6e1f55ed6196ea;hb=719eb6cd26fffa6de3ca194de310a58fd4834558;hp=1e07c108fa52fa66b6c7eab1a2773285ba280ff9;hpb=12e10515abf4f7f2a863d7844972d67a9bbec92b;p=helm.git
diff --git a/helm/on-line/html/control.html b/helm/on-line/html/control.html
index 1e07c108f..183347a97 100644
--- a/helm/on-line/html/control.html
+++ b/helm/on-line/html/control.html
@@ -116,19 +116,19 @@ and
- Proof-Checker URL |
+ URI-Set URL |
-
|
|
|
@@ -184,19 +184,19 @@ and
- URI-Set URL |
+ Proof-Checker URL |
-
|
|
|