1
no_document use_thy "GCD";
2
use_thy "Examples1";
3
use_thy "Examples2";
4
setmp_noncritical quick_and_dirty true use_thy "Examples3";