/[mojave]/metaprl/theories
ViewVC logotype

Index of /metaprl/theories

Files shown:2
Directory revision: 3553 (of 13286)
Sticky Revision:


File Rev. Age Author Last log entry
 Parent Directory        
base/  3532  19 years  nogin   I am committing David Bustos' changes to the cons build system for Metaprl. See…
caml/  2859  21 years  nogin   Made MetaPRL compatible with ocaml-2.03/camlp4-2.03 At the same time it became …
czf/  3553  19 years  xiny   1. Added "eqG" to the definition of groups which denotes the equivalence rela…
fol/  3410  19 years  nogin   - Merged the Ocaml 3.02 changes - Now http server is compiled in by default, bu…
itt/  3542  19 years  yegor   Arithmetic relations in conclusion is also processed now. TODO: - "bug"(a>=b & a…
lf/  2901  21 years  nogin   Added profiling comtrol to some tests Added explicit include of the mk/preface …
mc/  3551  19 years  emre   Test cases for the "connection" code are pretty much complete. I've fixed a few …
ocaml/  3434  19 years  jyh   Added mc directory.
ocaml_doc/  3410  19 years  nogin   - Merged the Ocaml 3.02 changes - Now http server is compiled in by default, bu…
ocaml_sos/  3410  19 years  nogin   - Merged the Ocaml 3.02 changes - Now http server is compiled in by default, bu…
reflect_itt/  3410  19 years  nogin   - Merged the Ocaml 3.02 changes - Now http server is compiled in by default, bu…
sil/  3410  19 years  nogin   - Merged the Ocaml 3.02 changes - Now http server is compiled in by default, bu…
tactic/  3532  19 years  nogin   I am committing David Bustos' changes to the cons build system for Metaprl. See…
tptp/  3410  19 years  nogin   - Merged the Ocaml 3.02 changes - Now http server is compiled in by default, bu…
tutorial/  3410  19 years  nogin   - Merged the Ocaml 3.02 changes - Now http server is compiled in by default, bu…
.cprc  2047  23 years  jyh   This is an ocaml version with subtyping, type inference, d and eqcd tactics. It…
Conscript  3532  19 years  nogin   I am committing David Bustos' changes to the cons build system for Metaprl. See…

  ViewVC Help
Powered by ViewVC 1.1.26