added MOVIE links to README.md files in Tutorial 3
updated some READMEs in Part 4, but still a lot left
forgot to commit these
renamed and revised all the README files of Tutorial 5
added MOVIE links to README.md files in Tutorial 3
updated some READMEs in Part 4, but still a lot left
forgot to commit these
renamed and revised all the README files of Tutorial 5
Merge branch 'master' of https://github.com/grosu/k
Java backend: implemented the Matchable interface
Java backend: implemented the pattern matching functionality which is independent from the unification
fixed an incompatible type error detected by Eclipse
Java backend: more progress on the interface for pattern matching
Java backend: cleaned up PatternMatcher a little bit
Java backend: experimental: more work on lazy substitution and evaluation of the subject term during pattern matching
reverted my previous commit
Java backend: fixed a bug introduced by me earlier in the visitor pattern
added mockito to the Eclipse classpath file of KTool
Java backend: pattern matching: removed a wrong assertion
Javadoc and code style reviews.