src/Pure/ML-Systems/proper_int.ML

--- a/src/Pure/ML-Systems/proper_int.ML	Sun Sep 29 12:18:47 2013 +0200
+++ b/src/Pure/ML-Systems/proper_int.ML	Sun Sep 29 12:21:11 2013 +0200
@@ -275,3 +275,15 @@
   fun fromAddr adr = let val (a, b) = INetSock.fromAddr adr in (a, mk_int b) end;
 end;
 
+
+(* OS.FileSys *)
+
+structure OS =
+struct
+  open OS;
+  structure FileSys =
+  struct
+    open FileSys;
+    fun fileSize a = mk_int (FileSys.fileSize a);
+  end;
+end;