src/HOL/Option.thy
1996-09-24 nipkow 1996-09-24 Moved Option out of IOA into core HOL