--- a/src/HOL/IsaMakefile Wed Mar 04 11:05:02 2009 +0100 +++ b/src/HOL/IsaMakefile Wed Mar 04 11:05:29 2009 +0100 @@ -127,6 +127,7 @@ Nat.thy \ OrderedGroup.thy \ Orderings.thy \ + Option.thy \ Plain.thy \ Power.thy \ Predicate.thy \