Quot/Examples/LarryInt.thy
changeset 1188 e5413596e098
parent 1153 2ad8e66de294
equal deleted inserted replaced
1187:3b24f33aedad 1188:e5413596e098