(*<*) theory Paper imports "~~/src/HOL/Library/LaTeXsugar" begin declare [[show_question_marks = false]] section {* Introduction *} text {* mention Russo paper which concludes that technology is not ready beyond core-calculi. *} (*<*) end (*>*)