src/HOLCF/Sprod3.thy
changeset 5869 b279a84ac11c
parent 5033 06f03dc5a1dc
child 10834 a7897aebbffc
equal deleted inserted replaced
5868:0022d0a913b5 5869:b279a84ac11c