restored the old behaviour of having an eqvts list; the transformed theorems are stored in eqvts_raw

(binary:application/pdf)