Small changes

* you do not need now rules or theorems seperate. everythin is handeld
  with the master-file data structure