Added public files
Roughly added all public files. Probably missed some, though.
diff --git a/doc/efun/m_delete b/doc/efun/m_delete
new file mode 100644
index 0000000..bb9d453
--- /dev/null
+++ b/doc/efun/m_delete
@@ -0,0 +1,11 @@
+SYNOPSIS
+ mapping m_delete(mapping map, mixed key)
+
+BESCHREIBUNG
+ Loescht den Eintrag mit dem Index <key> aus dem Mapping <map> und
+ liefert das veraenderte Mapping zurueck. Wenn <map> keinen Eintag
+ mit dem Index <key> enthaelt, wird nichts veraendert.
+
+SIEHE AUCH
+ mappingp(E), mkmapping(E), m_add(E), m_indices(E), m_values(E),
+ sizeof(E), widthof(E)