Minor tweaks to examples of subst.
authorJoey Capper <jjc@cs.nott.ac.uk>
Mon, 10 Jan 2011 19:20:05 +0000 (19:20 +0000)
committerJoey Capper <jjc@cs.nott.ac.uk>
Mon, 10 Jan 2011 19:20:05 +0000 (19:20 +0000)
commit84bfdef16125ca2c121c0953ce03944ab0755c91
tree57ca505cf319a715b48f506a10d610281321dec5
parent42c464bbcb7d85b0717f2f7f53fbc5dd865863e8
Minor tweaks to examples of subst.
refined.lhs