src/HOL/ROOT
changeset 51093 9d7aa2bb097b
parent 50988 5231bfb8bfcf
child 51115 7dbd6832a689
     1.1 --- a/src/HOL/ROOT	Wed Feb 13 13:38:52 2013 +0100
     1.2 +++ b/src/HOL/ROOT	Wed Feb 13 13:38:52 2013 +0100
     1.3 @@ -446,7 +446,7 @@
     1.4      Termination
     1.5      Coherent
     1.6      PresburgerEx
     1.7 -    ReflectionEx
     1.8 +    Reflection_Examples
     1.9      Sqrt
    1.10      Sqrt_Script
    1.11      Transfer_Ex