peteg's blog - hacking - isabelle - 2010 03 29 WorkerWrapper JFP

Wrapping up Worker/Wrapper.

/hacking/isabelle | Link

At last I have completed the submission process for my worker/wrapper corrigendum-ish thing: the JFP emailed me the printing proofs and I have sent them back, all four and a half pages of it. I am told it will be online sometime soon, and in print at some later time.