src/HOL/Hoare_Parallel/OG_Tran.thy
changeset 41648 6d736d983d5c
parent 35416 d8d7d1b785af
child 42174 d0be2722ce9f