thread_setconcurrency removed
leancor script 6 minutes limit added
Disjoint Union added to the parser
Max, min, exact for data property stub
Complement is a unary operator
Using files again to write debug messages
Updating parser and tests
Adding owl2/output.* to .gitignore