/[mojave]/metaprl/theories
ViewVC logotype

Index of /metaprl/theories

Files shown:2
Directory revision: 3580 (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/  3574  19 years  xiny   1. Defined group isomorphisms based on group homomorphisms. An isomorphism f:…
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/  3580  19 years  emre   Comitting more changes to reflect the ever changing MC FIR.
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/  3576  19 years  emre   These updates to the Conscripts allow for a compiles, started in the MC source t…
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  24 years  jyh   This is an ocaml version with subtyping, type inference, d and eqcd tactics. It…
Conscript  3576  19 years  emre   These updates to the Conscripts allow for a compiles, started in the MC source t…

  ViewVC Help
Powered by ViewVC 1.1.26