src/HOL/Hoare_Parallel/RG_Com.thy
changeset 49081 092668a120cc
parent 42174 d0be2722ce9f
child 58249 180f1b3508ed
equal deleted inserted replaced
49080:f60ed8769a9d 49081:092668a120cc