removed symbolic links
2013.08.06
New solver, RPC-enc verifies.
Delete OpenSSL.
Add a bunch of files.
full_simplify
full_simplify
NSL verifies.
run_tests.ml
Before changing exp to polymorphic variants.
GADT implementation, works for RPC-enc and NSL.
track ocamlyices
All tests work with termination-dependence.
Include ocamlyices directly, stop bundling ocamlidl.
Remove NSL-real.
Add more ocamlyices files.
Fix clean compilation.
Update readme.