src/HOLCF/Tr1.thy
changeset 1072 0140ff702b23
parent 625 119391dd1d59
child 1168 74be52691d62