Quot/Examples/LarryDatatype.thy
changeset 755 ae562c2ad96b
parent 723 93dce7c71929
child 766 df053507edba