src/HOL/Option.thy
changeset 51692 ecd34f863242
parent 51096 60e4b75fefe1
child 51703 f2e92fc0c8aa