--- a/src/HOL/ROOT Sun Nov 11 19:56:02 2012 +0100 +++ b/src/HOL/ROOT Mon Nov 12 12:27:58 2012 +0100 @@ -91,7 +91,7 @@ theories BExp ASM - Small_Step + Finite_Reachable Denotation Comp_Rev Poly_Types