]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/searchEngine/html/manual/alias.jpg
Branch V7_3_new_exportation merged.
[helm.git] / helm / searchEngine / html / manual / alias.jpg
diff --git a/helm/searchEngine/html/manual/alias.jpg b/helm/searchEngine/html/manual/alias.jpg
new file mode 100644 (file)
index 0000000..0f57638
Binary files /dev/null and b/helm/searchEngine/html/manual/alias.jpg differ