src/HOL/HOLCF/IOA/ABP/Spec.thy
changeset 82909 e4fae2227594
parent 67369 7360fe6bb423