src/HOL/Option.thy
changeset 55990 41c6b99c5fb7
parent 55867 79b915f26533
child 57091 1fa9c19ba2c9