no_document use_thy "my_list_prefix";
no_document use_thy "rc_theory";
no_document use_thy "~~/src/HOL/Library/LaTeXsugar";

use_thy "Paper";