changes for separate compilation in ocaml
my fstar top
my makefile
Temporary fix for OCaml build
Updated installation instructions for OCaml backed
Updated installation instructions for Z3
Nits in install instructions
Support for ocamlyacc on parse.fsy
Merge branch 'master' of github.com:FStarLang/FStar
Revert some lexer changes; using PY's lexer for now
Add parseutil
Using PY's lexer
make parser
Add missing productions for OCaml lexer
Lexer: add _ in idents
Update INSTALL.md
More on the ocaml lexer.
Clean target for 3rdparty

(useful after opam switch)
Big-step interpreter for STLC
Verified big-step interpreter much smaller than unverified one!

... since it doesn't need to thread through all those options