--- a/src/HOL/ROOT Thu Sep 26 22:29:29 2013 +0200
+++ b/src/HOL/ROOT Thu Sep 26 22:34:43 2013 +0200
@@ -560,6 +560,7 @@
IArray_Examples
SVC_Oracle
Simps_Case_Conv_Examples
+ ML
theories [skip_proofs = false]
Meson_Test
theories [condition = SVC_HOME]