quick_and_dirty := true;+
−
no_document use_thys ["../Nominal/Test"];+
−
use_thys ["Paper"];+
−