OCaml lexer and parser frontend for the Candle theorem prover.
camlPEGScript.sml: Definition of a PEG for (a subset of) OCaml.
camlPtreeConversionScript.sml: A theory for converting OCaml parse trees to abstract syntax.
camlTestsScript.sml: Some tests for the OCaml parser.
caml_lexScript.sml: Lexer for the OCaml frontend.
caml_parserScript.sml: Parser entry-point for the OCaml parser.