X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=helm%2Fon-line%2Fhtml%2Fcic%2Fcontrol.html;fp=helm%2Fon-line%2Fhtml%2Fcic%2Fcontrol.html;h=0000000000000000000000000000000000000000;hp=c6afa7080da0c6ca8b9aa7742b9d79b41b3fb1ff;hb=1696761e4b8576e8ed81caa905fd108717019226;hpb=5325734bc2e4927ed7ec146e35a6f0f2b49f50c1 diff --git a/helm/on-line/html/cic/control.html b/helm/on-line/html/cic/control.html deleted file mode 100644 index c6afa7080..000000000 --- a/helm/on-line/html/cic/control.html +++ /dev/null @@ -1,94 +0,0 @@ - - - -??? - - - - - - - - - - -

Object: - "" -    [Annotations are - - ] -

- - - - - - - - - - - - - - - - - -
- - - Follow the link to view the displayed object alone (without this control frame) -
- - - (Before following the link, you must install the HELM Annotation Helper) -
- - DC Metadata and dependency metadata; Dependency graphs -
- - Proof-checking is recursively performed over the untrusted parts of the - library -
- -