--- a/src/HOL/ROOT Fri May 11 22:59:00 2018 +0200
+++ b/src/HOL/ROOT Sat May 12 11:24:11 2018 +0200
@@ -247,6 +247,7 @@
Generate_Binary_Nat
Generate_Target_Nat
Generate_Efficient_Datastructures
+ Code_Lazy_Test
Code_Test_PolyML
Code_Test_Scala
theories [condition = ISABELLE_GHC]