src/HOL/Datatype.thy
changeset 22657 731622340817
parent 22632 59c117a0bcf3
child 22744 5cbe966d67a2