removed package marvosym (breaks \Rightarrow)
reduced number of packages for "unusual symbols"
replaced \textzerooldstyle by \mathbf{0} etc to get normal sized numbers
use_thy "FP0";
use_thy "FP1";
use_thy "RECDEF";
use_thy "Rules";
use_thy "Sets";
use_thy "Ind";