Aktualizacja dokumentacji
Merge branch 'master' of https://github.com/maciag/prover
Obsługa operatorów temporalnych w konwersji do notacji polskiej.
Dopisano operatory temporalne do dokumentacji .odt.
Merge branch 'master' of https://github.com/maciag/prover
Refactoring i przygotowanie pod GUI