Quot/Examples/LarryDatatype.thy
changeset 914 b8e43414c5aa
parent 804 ba7e81531c6d
child 1128 17ca92ab4660
equal deleted inserted replaced
913:b1f55dd64481 914:b8e43414c5aa