Removed generated files
Added optimizations for theorem search during 'parallel' unification
Name fix
Minor ProofWorksheet.loadWorksheet() refactoring
Refactored DerivationStep class
Partly refactored ProofStepStmt and DerivationStep
Added initial support for autocomplete derivation steps
Tiny optimization
Implemented initial hypothesis and theorem autocomplete
Fixed bug in autocomplete feature and implemented test mode for this feature
modifications to new autocomplete feature
bugfix
Added the output of unification time information in some test modes
added RunParm to autocomplete new derive steps
Fixed the bug: sometimes hypotheses order was incorrect after autocompletion
add definitional soundness test suite
Merge branch 'develop' of github.com:digama0/mmj2 into develop
javadoc + jar