Theory Doc_Rewriting

chapter ‹Term rewriting›

theory Doc_Rewriting
imports Main
begin

end