added concise log height bound lemma

updated package;

tuned;

tuned

dropped dead code

ensure no duplicates after preprocessing

reject polymorphic result types; formally generalized to multiple result types

explicit a-priori detection of unsuitable terms for computations

more options;

tuned;

experimental computations: use arbitrary generated code for RHSs, not just constants

tuned documentation

merged

updated to jdk-8u121;

clarified owner;

insist in proper GNU tar, to avoid subtle semantic differences;

hardlink within JVM; clarified file attributes;

tuned;

clarified operation: include dirs as well;

tuned;

tuned;

build_jdk in Scala;

corrected static scope: multi-argument composition does not apply partially

less complex rewriting of Argo expressions: select candidate rewrite rules by analyzing only on the kind of the head expression, then select the applicable rewrite rule using ML pattern matching; keep all normalization code in a single place: modules of decision procedures focus on their core aspects; more normalization for non-linear arithmetic

tuned;

added postorder

tuned

int version slicker

tuned

tuned