Quot/QuotMain.thy
changeset 906 a394c7337966
parent 896 4e0b89d886ac
child 907 e576a97e9a3e
equal deleted inserted replaced
905:51e5cc3793d2 906:a394c7337966