1
(* "$Id$" *)
2
3
theory W
4
imports "Nominal"
5
begin
6
7
text {* stub until a cleaned-up version will appear here *}
8
9
end