src/HOL/HOLCF/IOA/ex/TrivEx.thy
changeset 82800 476627cac12e
parent 66453 cc19f7ca2ed6