src/HOL/ROOT
changeset 50138 ca989d793b34
parent 50050 fac2b27893ff
child 50149 aaf276a28551
     1.1 --- a/src/HOL/ROOT	Tue Nov 20 22:53:59 2012 +0100
     1.2 +++ b/src/HOL/ROOT	Wed Nov 21 09:07:41 2012 +0100
     1.3 @@ -49,6 +49,7 @@
     1.4      (* Code_Prolog  FIXME cf. 76965c356d2a *)
     1.5      Code_Real_Approx_By_Float
     1.6      Code_Target_Numeral
     1.7 +    IArray
     1.8      Refute
     1.9    theories [condition = ISABELLE_FULL_TEST]
    1.10      Sum_of_Squares_Remote
    1.11 @@ -484,6 +485,7 @@
    1.12      FinFunPred
    1.13      Set_Comprehension_Pointfree_Tests
    1.14      Parallel_Example
    1.15 +    IArray_Examples
    1.16    theories SVC_Oracle
    1.17    theories [condition = SVC_HOME]
    1.18      svc_test