Attic/Quot/Examples/IntEx2.thy
changeset 2657 1ea9c059fc0f
parent 1974 13298f4b212b
equal deleted inserted replaced
2656:33a6b690fb53 2657:1ea9c059fc0f