src/HOL/Option.thy
changeset 50999 3de230ed0547
parent 49189 3f85cd15a0cc
child 51096 60e4b75fefe1