/[mojave]
ViewVC logotype

Revision 2184


Jump to revision: Previous Next
Author: jyh
Date: Wed May 27 15:15:13 1998 UTC (23 years, 2 months ago)
Changed paths: 117 (showing only 100; show all)
Log Message:
Functorized the refiner over the Term module.


Changed paths

Path Details
Directorymetaprl/clib/Makefile modified , text changed
Directorymetaprl/clib/truncate.c added
Directorymetaprl/filter/filter_ast.mli modified , text changed
Directorymetaprl/filter/filter_cache.ml modified , text changed
Directorymetaprl/filter/filter_cache.mli modified , text changed
Directorymetaprl/filter/filter_cache_fun.ml modified , text changed
Directorymetaprl/filter/filter_cache_fun.mli modified , text changed
Directorymetaprl/filter/filter_html.ml modified , text changed
Directorymetaprl/filter/filter_html.mli modified , text changed
Directorymetaprl/filter/filter_ocaml.ml modified , text changed
Directorymetaprl/filter/filter_ocaml.mli modified , text changed
Directorymetaprl/filter/filter_parse.ml modified , text changed
Directorymetaprl/filter/filter_parse.mli modified , text changed
Directorymetaprl/filter/filter_prog.ml modified , text changed
Directorymetaprl/filter/filter_prog.mli modified , text changed
Directorymetaprl/filter/filter_proof.ml modified , text changed
Directorymetaprl/filter/filter_proof.mli modified , text changed
Directorymetaprl/filter/filter_proof_type.mlz modified , text changed
Directorymetaprl/filter/filter_summary.ml modified , text changed
Directorymetaprl/filter/filter_summary.mli modified , text changed
Directorymetaprl/filter/filter_summary_io.ml modified , text changed
Directorymetaprl/filter/filter_summary_io.mli modified , text changed
Directorymetaprl/filter/filter_summary_type.mlz modified , text changed
Directorymetaprl/filter/filter_summary_util.ml modified , text changed
Directorymetaprl/filter/filter_summary_util.mli modified , text changed
Directorymetaprl/filter/filter_type.mlz modified , text changed
Directorymetaprl/filter/filter_util.ml modified , text changed
Directorymetaprl/filter/filter_util.mli modified , text changed
Directorymetaprl/filter/term_grammar.ml modified , text changed
Directorymetaprl/filter/term_grammar.mli modified , text changed
Directorymetaprl/library/basic.ml modified , text changed
Directorymetaprl/library/basic.mli modified , text changed
Directorymetaprl/library/db.ml modified , text changed
Directorymetaprl/library/db.mli modified , text changed
Directorymetaprl/library/definition.ml modified , text changed
Directorymetaprl/library/definition.mli modified , text changed
Directorymetaprl/library/library.ml modified , text changed
Directorymetaprl/library/library.mli modified , text changed
Directorymetaprl/library/library_eval.ml modified , text changed
Directorymetaprl/library/library_eval.mli modified , text changed
Directorymetaprl/library/library_type_base.ml modified , text changed
Directorymetaprl/library/library_type_base.mli modified , text changed
Directorymetaprl/library/link.ml modified , text changed
Directorymetaprl/library/link.mli modified , text changed
Directorymetaprl/library/mbterm.ml modified , text changed
Directorymetaprl/library/mbterm.mli modified , text changed
Directorymetaprl/library/nuprl5.ml modified , text changed
Directorymetaprl/library/nuprl5.mli modified , text changed
Directorymetaprl/library/oidtable.ml modified , text changed
Directorymetaprl/library/oidtable.mli modified , text changed
Directorymetaprl/library/orb.ml modified , text changed
Directorymetaprl/library/orb.mli modified , text changed
Directorymetaprl/library/test.ml modified , text changed
Directorymetaprl/refiner/ modified , props changed
Directorymetaprl/refiner/Makefile modified , text changed
Directorymetaprl/refiner/dform.ml modified , text changed
Directorymetaprl/refiner/dform.mli modified , text changed
Directorymetaprl/refiner/dform_print.mli modified , text changed
Directorymetaprl/refiner/ml_file.ml modified , text changed
Directorymetaprl/refiner/ml_format_sig.ml modified , text changed
Directorymetaprl/refiner/ml_print.ml modified , text changed
Directorymetaprl/refiner/ml_print_sig.ml modified , text changed
Directorymetaprl/refiner/refine.ml modified , text changed
Directorymetaprl/refiner/refine.mli modified , text changed
Directorymetaprl/refiner/refine_exn.ml modified , text changed
Directorymetaprl/refiner/refine_exn.mli modified , text changed
Directorymetaprl/refiner/refine_sig.ml modified , text changed
Directorymetaprl/refiner/refine_util.ml deleted
Directorymetaprl/refiner/refine_util.mli deleted
Directorymetaprl/refiner/refiner.ml added
Directorymetaprl/refiner/refiner.mli added
Directorymetaprl/refiner/refiner_sig.ml added
Directorymetaprl/refiner/refiner_std.ml added
Directorymetaprl/refiner/refiner_std.mli added
Directorymetaprl/refiner/rewrite.ml modified , text changed
Directorymetaprl/refiner/rewrite.mli modified , text changed
Directorymetaprl/refiner/rewrite_sig.ml added
Directorymetaprl/refiner/simple_print.ml modified , text changed
Directorymetaprl/refiner/simple_print.mli modified , text changed
Directorymetaprl/refiner/term.ml deleted
Directorymetaprl/refiner/term.mli deleted
Directorymetaprl/refiner/term_addr_sig.ml added
Directorymetaprl/refiner/term_addr_std.ml added
Directorymetaprl/refiner/term_addr_std.mli added
Directorymetaprl/refiner/term_dtable.ml modified , text changed
Directorymetaprl/refiner/term_dtable.mli modified , text changed
Directorymetaprl/refiner/term_eval_sig.ml added
Directorymetaprl/refiner/term_eval_std.ml added
Directorymetaprl/refiner/term_eval_std.mli added
Directorymetaprl/refiner/term_man_sig.ml added
Directorymetaprl/refiner/term_man_std.ml added
Directorymetaprl/refiner/term_man_std.mli added
Directorymetaprl/refiner/term_meta_sig.ml added
Directorymetaprl/refiner/term_meta_std.ml added
Directorymetaprl/refiner/term_meta_std.mli added
Directorymetaprl/refiner/term_op_sig.ml added
Directorymetaprl/refiner/term_op_std.ml added
Directorymetaprl/refiner/term_op_std.mli added
Directorymetaprl/refiner/term_shape_sig.ml added
Directorymetaprl/refiner/term_shape_std.ml added
[...]

  ViewVC Help
Powered by ViewVC 1.1.26