--- a/src/HOL/ROOT Wed Jun 19 10:07:36 2013 +0200 +++ b/src/HOL/ROOT Wed Jun 19 10:14:50 2013 +0200 @@ -119,7 +119,7 @@ BExp ASM Finite_Reachable - Denotation + Denotational Comp_Rev Poly_Types Sec_Typing