| #
49f96a8a |
|
18-Jul-2017 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Fix formal-languages/regular given 93036c73b4
|
| #
07c4ff31 |
|
03-Jun-2017 |
Konrad Slind <konrad.slind@gmail.com> |
reset permissions
|
| #
3842bf8b |
|
03-Jun-2017 |
Konrad Slind <konrad.slind@gmail.com> |
speed up some proofs, adjust to IntInf, and some re-org
|
| #
42865876 |
|
22-Feb-2017 |
Konrad Slind <konrad.slind@gmail.com> |
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.
|
| #
06e46592 |
|
09-Jun-2016 |
Konrad Slind <konrad.slind@gmail.com> |
Theory of regular expressions, featuring derivative-based regexp compiler which can be applied in deduction mode, or in SML mode.
|