Current_files_prop.thy
changeset 57 d7cb2fb2e3b4
parent 40 8557d7872fdb
equal deleted inserted replaced
56:ced9becf9eeb 57:d7cb2fb2e3b4