src/HOLCF/Cprod2.thy
changeset 1072 0140ff702b23
parent 442 13ac1fd0a14d
child 1479 21eb5e156d91