QuotMain.thy
changeset 430 123877af04ed
parent 429 cd6ce3322b8f
child 431 5b298c42f6c8
equal deleted inserted replaced
429:cd6ce3322b8f 430:123877af04ed