--- a/etc/components Thu Sep 16 13:49:04 2010 +0200 +++ b/etc/components Thu Sep 16 13:49:06 2010 +0200 @@ -17,3 +17,4 @@ src/HOL/Mirabelle src/HOL/Library/Sum_Of_Squares src/HOL/Tools/SMT +src/HOL/Tools/Predicate_Compile