(* "$Id$" *) theory W imports "Nominal" begin text {* stub until a cleaned-up version will appear here *} end