A home for my various bits of work on isabelle & denotational semantics