t06c6cqximport Axiom
namespace t06c6cqx
-- Your content here
end t06c6cqx
Jump to declaration
Filter file declarations by leaf or qualified name
t06c6cqximport Axiom
namespace t06c6cqx
-- Your content here
end t06c6cqx
Filter file declarations by leaf or qualified name