Quot/Examples/IntEx2.thy
changeset 1067 8d4d52f51e0d
parent 913 b1f55dd64481
child 1128 17ca92ab4660
equal deleted inserted replaced
1066:96651cddeba9 1067:8d4d52f51e0d