Binary file Publications/itp-12.pdf has changed
--- a/publications.html Thu Dec 20 13:31:05 2012 +0000
+++ b/publications.html Sat Dec 22 14:14:04 2012 +0000
@@ -116,7 +116,8 @@
[<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/itp-12.pdf">pdf</A>]<BR><BR>
(In the published version is a bogus sentence after the definition
- of detached. This error is corrected in the version above.)
+ of detached and also a typo in the definition of schs. Both is corrected
+ in the version above.)
</TD>
</TR>