Added public files
Roughly added all public files. Probably missed some, though.
diff --git a/doc/efun/time b/doc/efun/time
new file mode 100644
index 0000000..f7016a4
--- /dev/null
+++ b/doc/efun/time
@@ -0,0 +1,21 @@
+SYNOPSIS
+ int time();
+
+BESCHREIBUNG
+ Liefert die Anzahl Sekunden, die seit dem 01. Januar 1970,
+ 00:00:00 GMT verstrichen sind.
+
+ Die Zeitangabe basiert auf der Systemzeit des Hosts, der Driver
+ stellt jedoch sicher, dass das Resultat von time() monoton ansteigt
+ (also immer nur zu hoeheren Werten wechselt).
+
+ Das Resultat von time() veraendert sich nicht waehrend dem Abarbeiten
+ eines Kommandos.
+
+BEISPIEL
+ Um das aktuelle Datum und die aktuelle Zeit anzuzeigen:
+
+ write(ctime(time())+"\n");
+
+SIEHE AUCH
+ ctime(E), gmtime(E), localtime(E), utime(E)