Quot/Examples/LarryDatatype.thy
changeset 1070 a8518879ee20
parent 804 ba7e81531c6d
child 1128 17ca92ab4660