src/HOL/ROOT
changeset 50023 28f3263d4d1b
parent 49985 5b4b0e4e5205
child 50050 fac2b27893ff
     1.1 --- a/src/HOL/ROOT	Wed Nov 07 20:48:04 2012 +0100
     1.2 +++ b/src/HOL/ROOT	Thu Nov 08 10:02:38 2012 +0100
     1.3 @@ -48,7 +48,7 @@
     1.4      Efficient_Nat
     1.5      (* Code_Prolog  FIXME cf. 76965c356d2a *)
     1.6      Code_Real_Approx_By_Float
     1.7 -    Target_Numeral
     1.8 +    Code_Target_Numeral
     1.9      Refute
    1.10    theories [condition = ISABELLE_FULL_TEST]
    1.11      Sum_of_Squares_Remote
    1.12 @@ -415,7 +415,7 @@
    1.13    options [timeout = 3600, condition = ISABELLE_POLYML]
    1.14    theories [document = false]
    1.15      "~~/src/HOL/Library/State_Monad"
    1.16 -    Code_Nat_examples
    1.17 +    Code_Binary_Nat_examples
    1.18      "~~/src/HOL/Library/FuncSet"
    1.19      Eval_Examples
    1.20      Normalization_by_Evaluation