reset permissions
speed up some proofs, adjust to IntInf, and some re-org
Added some code-gen targets (java and sml). Also ruthlessly got rid of whitespace. I don't know why it is so bad, but it is gone.
Theory of regular expressions, featuring derivative-based regexp compiler which can be applied in deduction mode, or in SML mode.