obsolete;

--- a/src/Pure/build	Mon Feb 29 16:29:52 2016 +0100
+++ b/src/Pure/build	Mon Feb 29 16:31:50 2016 +0100
@@ -67,7 +67,6 @@
     rm -f "$OUTPUT"
     "$ISABELLE_PROCESS" \
       -e "use \"$COMPAT\" handle _ => OS.Process.exit OS.Process.failure;" \
-      -e "structure Isar = struct fun main () = () end;" \
       -e "ML_Heap.share_common_data (); ML_Heap.save_state \"$OUTPUT\";" \
       -q RAW_ML_SYSTEM && chmod -w "$OUTPUT"
   fi