Theory Interface

theory Interface 
imports MyTactics
begin

end