
theory A imports Pure 
begin

consts foo :: 'a;
consts bar :: 'a;

end;
