src/HOL/HOLCF/IOA/ex/TrivEx.thy
changeset 73857 a88427e55371
parent 66453 cc19f7ca2ed6