src/HOL/Hoare_Parallel/RG_Syntax.thy
changeset 83060 308127f582bc
parent 80914 d97fdabd9e2b
equal deleted inserted replaced
83059:10b1c49625f6 83060:308127f582bc