Added public files
Roughly added all public files. Probably missed some, though.
diff --git a/doc/obsolete/m_width b/doc/obsolete/m_width
new file mode 100644
index 0000000..a6fc7a6
--- /dev/null
+++ b/doc/obsolete/m_width
@@ -0,0 +1,15 @@
+
+ **********************************************************
+ * ACHTUNG: EFUN EXISTIERT NICHT MEHR! NICHT VERWENDEN! *
+ **********************************************************
+
+SYNOPSIS:
+ int widthof(mapping map)
+
+DESCRIPTION:
+ Return the number of values per index in mapping 'map'. It means
+ the width of the mapping 'map'.
+
+SEE ALSO:
+ mappingp(E), mkmapping(E), m_indices,(E) m_values(E),
+ m_delete(E), sizeof(E)