Quot/QuotMain.thy
changeset 1117 8948319b190e
parent 1116 3acc7d25627a
child 1122 d1eaed018e5d