Quot/QuotMain.thy
changeset 842 0332d0df2fc9
parent 834 fb7fe6aca6f0
child 854 5961edda27d7