Version: 041102

    - got rid of "postulate" sentences. Induction hypotheses
      are since now translated to ordinary assumptions.
    - minor changes in the translation mode (-T):
      (a) no more 'postulate' words where they are not needed,
      (b) premises in first-order texts are shown as assumptions.

Version: 041101

    - initial release
