src/HOL/Datatype.thy
changeset 22657 731622340817
parent 22632 59c117a0bcf3
child 22744 5cbe966d67a2
equal deleted inserted replaced
22656:13302b2d0948 22657:731622340817