src/HOL/ROOT
changeset 50050 fac2b27893ff
parent 50023 28f3263d4d1b
child 50138 ca989d793b34
     1.1 --- a/src/HOL/ROOT	Sun Nov 11 19:56:02 2012 +0100
     1.2 +++ b/src/HOL/ROOT	Mon Nov 12 12:27:58 2012 +0100
     1.3 @@ -91,7 +91,7 @@
     1.4    theories
     1.5      BExp
     1.6      ASM
     1.7 -    Small_Step
     1.8 +    Finite_Reachable
     1.9      Denotation
    1.10      Comp_Rev
    1.11      Poly_Types