Attic/Quot/Examples/IntEx2.thy
changeset 2751 3b8232f56941
parent 1974 13298f4b212b
equal deleted inserted replaced
2750:43283267737c 2751:3b8232f56941