src/Doc/Implementation/Proof.thy
changeset 56916 b00a861d8f16
parent 56579 4c94f631c595
child 58555 7975676c08c0