used "new" alpha-equivalence relation (according to new scheme); proved equivalence theorems and so on

no_document use_thys ["../Quot/QuotMain"];

use_thys ["Paper"];