First commit
Add Rule object and pattern matching mechanism
Add basic UI
Refactor several parts and complete basic UI
Add undo feature
Merge branch 'master' of https://github.com/ndt93/Proof-Editor

Merge local commits with github repository containing an MIT license