Klikněte na odkaz CoWBasic.thy pro zobrazení souboru.