Commit log for MetaPRL

Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1998-07-06 10:55:31 -0700 (Mon, 06 Jul 1998)
Revision: 2307
Log message:

Removed $Log messages from all NL files.

Changes Path

+0 -11 metaprl/clib/debug.c

+0 -8 metaprl/clib/debug.h

+0 -10 metaprl/clib/execvp.c

+0 -14 metaprl/clib/ml_debug.c

+0 -9 metaprl/clib/ml_debug.h

+0 -7 metaprl/clib/putenv.c

+0 -13 metaprl/clib/truncate.c

+0 -17 metaprl/editor/emacs/caml-util.el

+0 -36 metaprl/editor/emacs/caml.el

+0 -20 metaprl/editor/emacs/prlproof.el

+0 -6 metaprl/editor/java/ActiveApplet.java

+0 -6 metaprl/editor/java/ActiveApplication.java

+0 -6 metaprl/editor/java/BoundTerm.java

+0 -6 metaprl/editor/java/Closure.java

+0 -6 metaprl/editor/java/DebugFlags.java

+0 -9 metaprl/editor/java/DisplayDynamic.java

+0 -6 metaprl/editor/java/DisplayEngine.java

+0 -6 metaprl/editor/java/DisplayTerm.java

+0 -6 metaprl/editor/java/Eval.java

+0 -6 metaprl/editor/java/EvalError.java

+0 -6 metaprl/editor/java/FontBase.java

+0 -6 metaprl/editor/java/FreeVar.java

+0 -6 metaprl/editor/java/GateSequence.java

+0 -15 metaprl/editor/java/ImageView.java

+0 -6 metaprl/editor/java/IntStack.java

+0 -6 metaprl/editor/java/LevelExp.java

+0 -6 metaprl/editor/java/LevelVar.java

+0 -6 metaprl/editor/java/Lexer.java

+0 -6 metaprl/editor/java/LispExpression.java

+0 -6 metaprl/editor/java/LispParser.java

+0 -6 metaprl/editor/java/LispSExpression.java

+0 -6 metaprl/editor/java/LispSoApply.java

+0 -6 metaprl/editor/java/LispVar.java

+0 -6 metaprl/editor/java/MatchError.java

+0 -6 metaprl/editor/java/Matching.java

+0 -12 metaprl/editor/java/Nuprl.java

+0 -12 metaprl/editor/java/NuprlIcon.java

+0 -9 metaprl/editor/java/NuprlTerm.java

+0 -6 metaprl/editor/java/Operator.java

+0 -6 metaprl/editor/java/Opname.java

+0 -6 metaprl/editor/java/Param.java

+0 -6 metaprl/editor/java/ParamLevelExp.java

+0 -6 metaprl/editor/java/ParamMDiff.java

+0 -6 metaprl/editor/java/ParamMEqual.java

+0 -6 metaprl/editor/java/ParamMLessThan.java

+0 -6 metaprl/editor/java/ParamMLevel.java

+0 -6 metaprl/editor/java/ParamMNotEqual.java

+0 -6 metaprl/editor/java/ParamMNumber.java

+0 -6 metaprl/editor/java/ParamMPair.java

+0 -6 metaprl/editor/java/ParamMProduct.java

+0 -6 metaprl/editor/java/ParamMQuotient.java

+0 -6 metaprl/editor/java/ParamMRem.java

+0 -6 metaprl/editor/java/ParamMString.java

+0 -6 metaprl/editor/java/ParamMSum.java

+0 -6 metaprl/editor/java/ParamMToken.java

+0 -6 metaprl/editor/java/ParamMVar.java

+0 -6 metaprl/editor/java/ParamMatchError.java

+0 -6 metaprl/editor/java/ParamMeta.java

+0 -6 metaprl/editor/java/ParamNumber.java

+0 -6 metaprl/editor/java/ParamString.java

+0 -6 metaprl/editor/java/ParamToken.java

+0 -6 metaprl/editor/java/ParamVar.java

+0 -6 metaprl/editor/java/Rewrite.java

+0 -21 metaprl/editor/java/Semaphore.java

+0 -6 metaprl/editor/java/SmallScrollGroup.java

+0 -12 metaprl/editor/java/Sort.java

+0 -6 metaprl/editor/java/Subst.java

+0 -6 metaprl/editor/java/SubstParam.java

+0 -6 metaprl/editor/java/SubstSimul.java

+0 -6 metaprl/editor/java/SubstSingle.java

+0 -6 metaprl/editor/java/Term.java

+0 -6 metaprl/editor/java/TermBreak.java

+0 -6 metaprl/editor/java/TermDisplay.java

+0 -6 metaprl/editor/java/TermFont.java

+0 -6 metaprl/editor/java/TermLexer.java

+0 -6 metaprl/editor/java/TermNuprl.java

+0 -6 metaprl/editor/java/TermParser.java

+0 -6 metaprl/editor/java/TermPop.java

+0 -6 metaprl/editor/java/TermPush.java

+0 -6 metaprl/editor/java/TermSoApply.java

+0 -6 metaprl/editor/java/TermSoVar.java

+0 -6 metaprl/editor/java/TermString.java

+0 -6 metaprl/editor/java/TermVar.java

+0 -9 metaprl/editor/java/TermView.java

+0 -6 metaprl/editor/java/TermZone.java

+0 -6 metaprl/editor/java/TextBuffer.java

+0 -6 metaprl/editor/java/TextViewBuffer.java

+0 -6 metaprl/editor/java/Token.java

+0 -15 metaprl/editor/java/editor/BlockingQueue.java

+0 -6 metaprl/editor/java/editor/Context.java

+0 -6 metaprl/editor/java/editor/Debug.java

+0 -6 metaprl/editor/java/editor/Editor.java

+0 -15 metaprl/editor/java/editor/Filename.java

+0 -6 metaprl/editor/java/editor/GrayButton.java

+0 -6 metaprl/editor/java/editor/HTMLTerm.java

+0 -6 metaprl/editor/java/editor/IconWindow.java

+0 -15 metaprl/editor/java/editor/ImageLabel.java

+0 -6 metaprl/editor/java/editor/MarshalInfo.java

+0 -15 metaprl/editor/java/editor/Marshalable.java

+0 -6 metaprl/editor/java/editor/ModeLine.java

+0 -6 metaprl/editor/java/editor/Navigate.java

+0 -6 metaprl/editor/java/editor/Nuprl.java

+0 -27 metaprl/editor/java/editor/Pathname.java

+0 -15 metaprl/editor/java/editor/Queue.java

+0 -6 metaprl/editor/java/editor/Rename.java

+0 -18 metaprl/editor/java/editor/Semaphore.java

+0 -6 metaprl/editor/java/editor/Status.java

+0 -24 metaprl/editor/java/editor/StringTokenizer.java

+0 -24 metaprl/editor/java/editor/TtyArea.java

+0 -6 metaprl/editor/java/editor/WinAlert.java

+0 -26 metaprl/editor/ml/io_proof.ml

+0 -18 metaprl/editor/ml/io_proof.mli

+0 -31 metaprl/editor/ml/io_proof_type.mlz

+0 -5 metaprl/editor/ml/nl.ml

+0 -5 metaprl/editor/ml/nl.mli

+0 -29 metaprl/editor/ml/package_df.ml

+0 -15 metaprl/editor/ml/package_df.mli

+0 -73 metaprl/editor/ml/package_info.ml

+0 -43 metaprl/editor/ml/package_info.mli

+0 -12 metaprl/editor/ml/package_int.ml

+0 -6 metaprl/editor/ml/package_int.mli

+0 -45 metaprl/editor/ml/package_type.mlz

+0 -71 metaprl/editor/ml/proof.ml

+0 -62 metaprl/editor/ml/proof.mli

+0 -63 metaprl/editor/ml/proof_edit.ml

+0 -39 metaprl/editor/ml/proof_edit.mli

+0 -74 metaprl/editor/ml/proof_step.ml

+0 -59 metaprl/editor/ml/proof_step.mli

+0 -14 metaprl/editor/ml/proof_type.mlz

+0 -71 metaprl/editor/ml/shell.ml

+0 -55 metaprl/editor/ml/shell.mli

+0 -26 metaprl/editor/ml/shell_null.ml

+0 -5 metaprl/editor/ml/shell_null.mli

+0 -23 metaprl/editor/ml/shell_p4.ml

+0 -15 metaprl/editor/ml/shell_p4.mli

+0 -57 metaprl/editor/ml/shell_rewrite.ml

+0 -26 metaprl/editor/ml/shell_rewrite.mli

+0 -19 metaprl/editor/ml/shell_rule.ml

+0 -29 metaprl/editor/ml/shell_rule.mli

+0 -24 metaprl/editor/ml/shell_type.mlz

+0 -38 metaprl/editor/ml/test.ml

+0 -17 metaprl/editor/ml/test.mli

+0 -18 metaprl/editor/ml/x.ml

+0 -30 metaprl/editor/ml/y.ml

+0 -17 metaprl/filter/buffer.ml

+0 -5 metaprl/filter/buffer.mli

+0 -26 metaprl/filter/filter_ast.ml

+0 -24 metaprl/filter/filter_ast.mli

+0 -40 metaprl/filter/filter_bin.ml

+0 -5 metaprl/filter/filter_bin.mli

+0 -107 metaprl/filter/filter_cache.ml

+0 -59 metaprl/filter/filter_cache.mli

+0 -94 metaprl/filter/filter_cache_fun.ml

+0 -35 metaprl/filter/filter_cache_fun.mli

+0 -21 metaprl/filter/filter_comment.ml

+0 -5 metaprl/filter/filter_comment.mli

+0 -26 metaprl/filter/filter_debug.ml

+0 -20 metaprl/filter/filter_debug.mli

+0 -11 metaprl/filter/filter_exn.ml

+0 -5 metaprl/filter/filter_exn.mli

+0 -5 metaprl/filter/filter_grammar.ml

+0 -5 metaprl/filter/filter_grammar.mli

+0 -37 metaprl/filter/filter_hash.ml

+0 -18 metaprl/filter/filter_hash.mli

+0 -23 metaprl/filter/filter_html.ml

+0 -14 metaprl/filter/filter_html.mli

+0 -5 metaprl/filter/filter_magic.ml

+0 -5 metaprl/filter/filter_magic.mli

+0 -20 metaprl/filter/filter_main.ml

+0 -14 metaprl/filter/filter_main.mli

+0 -75 metaprl/filter/filter_ocaml.ml

+0 -26 metaprl/filter/filter_ocaml.mli

+0 -113 metaprl/filter/filter_parse.ml

+0 -26 metaprl/filter/filter_parse.mli

+0 -78 metaprl/filter/filter_prog.ml

+0 -43 metaprl/filter/filter_prog.mli

+0 -116 metaprl/filter/filter_summary.ml

+0 -84 metaprl/filter/filter_summary.mli

+0 -12 metaprl/filter/filter_summary_base.ml

+0 -45 metaprl/filter/filter_summary_io.ml

+0 -26 metaprl/filter/filter_summary_io.mli

+0 -9 metaprl/filter/filter_summary_param.mlz

+0 -65 metaprl/filter/filter_summary_type.mlz

+0 -39 metaprl/filter/filter_summary_util.ml

+0 -11 metaprl/filter/filter_summary_util.mli

+0 -24 metaprl/filter/filter_type.mlz

+0 -33 metaprl/filter/filter_util.ml

+0 -22 metaprl/filter/filter_util.mli

+0 -20 metaprl/filter/free_vars.ml

+0 -18 metaprl/filter/free_vars.mli

+0 -18 metaprl/filter/infix.mli

+0 -17 metaprl/filter/infix.pre.ml

+0 -21 metaprl/filter/mLast_util.ml

+0 -8 metaprl/filter/mLast_util.mli

+0 -77 metaprl/filter/prlcomp.ml

+0 -14 metaprl/filter/prlcomp.mli

+0 -53 metaprl/filter/term_grammar.ml

+0 -24 metaprl/filter/term_grammar.mli

+0 -23 metaprl/filter/term_quote.ml

+0 -14 metaprl/filter/term_quote.mli

+0 -20 metaprl/filter/test.ml

+0 -11 metaprl/filter/test.mli

+0 -14 metaprl/filter/test_filter.ml

+0 -14 metaprl/filter/test_filter.mli

+0 -17 metaprl/filter/test_gram.ml

+0 -12 metaprl/horus/opname.ml

+0 -12 metaprl/horus/opname.mli

+0 -9 metaprl/horus/term.ml

+0 -9 metaprl/horus/term.mli

+0 -9 metaprl/horus/util.ml

+0 -6 metaprl/horus/util.mli

+0 -30 metaprl/library/library_type_base.ml

+0 -14 metaprl/library/library_type_base.mli

+0 -29 metaprl/library/registry.ml

+2 -1 metaprl/mllib/Makefile

+0 -34 metaprl/mllib/array_util.ml

+0 -25 metaprl/mllib/array_util.mli

+0 -8 metaprl/mllib/bitset.ml

+0 -5 metaprl/mllib/bitset.mli

+0 -21 metaprl/mllib/ctype.ml

+0 -21 metaprl/mllib/ctype.mli

+0 -22 metaprl/mllib/dag.mlz

+0 -65 metaprl/mllib/debug.ml

+0 -50 metaprl/mllib/debug.mli

+0 -20 metaprl/mllib/debug_set.ml

+0 -18 metaprl/mllib/debug_set.mli

+0 -37 metaprl/mllib/env_arg.ml

+0 -20 metaprl/mllib/env_arg.mli

+0 -30 metaprl/mllib/file_base.ml

+0 -6 metaprl/mllib/file_base.mli

+0 -21 metaprl/mllib/file_base_type.ml

+0 -27 metaprl/mllib/file_type_base.ml

+0 -12 metaprl/mllib/file_type_base.mli

+0 -27 metaprl/mllib/file_util.ml

+0 -21 metaprl/mllib/file_util.mli

+0 -14 metaprl/mllib/filename_util.ml

+0 -8 metaprl/mllib/filename_util.mli

+0 -5 metaprl/mllib/flist.ml

+0 -5 metaprl/mllib/flist.mli

+0 -27 metaprl/mllib/imp_dag.ml

+0 -16 metaprl/mllib/imp_dag.mli

+0 -79 metaprl/mllib/list_util.ml

+0 -55 metaprl/mllib/list_util.mli

+0 -8 metaprl/mllib/memo.ml

+0 -8 metaprl/mllib/memo.mli

+0 -35 metaprl/mllib/precedence.ml

+0 -29 metaprl/mllib/precedence.mli

+0 -12 metaprl/mllib/punix.ml

+0 -12 metaprl/mllib/punix.mli

+0 -21 metaprl/mllib/ref_util.ml

+0 -18 metaprl/mllib/ref_util.mli

+0 -39 metaprl/mllib/string_util.ml

+0 -24 metaprl/mllib/string_util.mli

+0 -25 metaprl/refiner/README.tex

+0 -42 metaprl/refiner/refbase/opname.ml

+0 -33 metaprl/refiner/refbase/opname.mli

+0 -10 metaprl/refiner/refiner/refine_error.ml

+0 -7 metaprl/refiner/refiner/refine_error.mli

+0 -22 metaprl/refiner/refiner/refiner.ml

+0 -8 metaprl/refiner/refiner/refiner.mli

+0 -30 metaprl/refiner/refiner/refiner_ds.ml

+0 -14 metaprl/refiner/refiner/refiner_ds.mli

+0 -32 metaprl/refiner/refiner/refiner_std.ml

+0 -13 metaprl/refiner/refiner/refiner_std.mli

+0 -82 metaprl/refiner/refiner/rewrite.mlip

+0 -157 metaprl/refiner/refiner/rewrite.mlp

+0 -75 metaprl/refiner/reflib/dform.ml

+0 -37 metaprl/refiner/reflib/dform.mli

+0 -34 metaprl/refiner/reflib/dform_print.ml

+0 -31 metaprl/refiner/reflib/dform_print.mli

+0 -52 metaprl/refiner/reflib/ml_file.ml

+0 -32 metaprl/refiner/reflib/ml_file.mli

+0 -64 metaprl/refiner/reflib/ml_format.ml

+0 -8 metaprl/refiner/reflib/ml_format.mli

+0 -23 metaprl/refiner/reflib/ml_format_sig.mlz

+0 -55 metaprl/refiner/reflib/ml_print.ml

+0 -32 metaprl/refiner/reflib/ml_print.mli

+0 -23 metaprl/refiner/reflib/ml_print_sig.mlz

+0 -29 metaprl/refiner/reflib/ml_string.ml

+0 -17 metaprl/refiner/reflib/ml_string.mli

+0 -14 metaprl/refiner/reflib/ml_term.ml

+0 -5 metaprl/refiner/reflib/ml_term.mli

+0 -38 metaprl/refiner/reflib/refine_exn.ml

+0 -28 metaprl/refiner/reflib/refine_exn.mli

+0 -25 metaprl/refiner/reflib/resource.ml

+0 -25 metaprl/refiner/reflib/resource.mli

+0 -58 metaprl/refiner/reflib/rformat.ml

+0 -43 metaprl/refiner/reflib/rformat.mli

+0 -96 metaprl/refiner/reflib/simple_print.ml

+0 -8 metaprl/refiner/reflib/simple_print.mli

+0 -8 metaprl/refiner/reflib/term_copy.ml

+0 -8 metaprl/refiner/reflib/term_copy.mli

+0 -46 metaprl/refiner/reflib/term_dtable.ml

+0 -25 metaprl/refiner/reflib/term_dtable.mli

+0 -38 metaprl/refiner/reflib/term_stable.ml

+0 -26 metaprl/refiner/reflib/term_stable.mli

+0 -61 metaprl/refiner/reflib/term_table.ml

+0 -40 metaprl/refiner/reflib/term_table.mli

+0 -31 metaprl/refiner/reflib/theory.ml

+0 -31 metaprl/refiner/reflib/theory.mli

+0 -11 metaprl/refiner/refsig/refine_error.h

+0 -125 metaprl/refiner/refsig/refine_sig.ml

+0 -20 metaprl/refiner/refsig/refiner_sig.ml

+0 -19 metaprl/refiner/refsig/resource.mlz

+0 -19 metaprl/refiner/refsig/rewrite_sig.ml

+0 -29 metaprl/refiner/refsig/term_addr_sig.ml

+0 -11 metaprl/refiner/refsig/term_base_sig.ml

+0 -8 metaprl/refiner/refsig/term_eval_sig.ml

+0 -24 metaprl/refiner/refsig/term_man_sig.ml

+0 -22 metaprl/refiner/refsig/term_meta_sig.ml

+0 -20 metaprl/refiner/refsig/term_op_sig.ml

+0 -8 metaprl/refiner/refsig/term_shape_sig.ml

+0 -11 metaprl/refiner/refsig/term_subst_sig.ml

+0 -10 metaprl/refiner/term_ds/term_base_ds.mlip

+0 -11 metaprl/refiner/term_ds/term_ds_sig.ml

+0 -18 metaprl/refiner/term_ds/term_eval_ds.mlip

+0 -18 metaprl/refiner/term_ds/term_op_ds.mlip

+0 -18 metaprl/refiner/term_ds/term_subst_ds.mlip

+0 -18 metaprl/refiner/term_gen/term_addr_gen.mlip

+0 -21 metaprl/refiner/term_gen/term_man_gen.mlip

+0 -21 metaprl/refiner/term_gen/term_man_gen.mlp

+0 -23 metaprl/refiner/term_gen/term_meta_gen.mlip

+0 -29 metaprl/refiner/term_gen/term_meta_gen.mlp

+0 -18 metaprl/refiner/term_gen/term_shape_gen.mlip

+0 -35 metaprl/refiner/term_std/term_base_std.mlip

+0 -50 metaprl/refiner/term_std/term_base_std.mlp

+0 -16 metaprl/refiner/term_std/term_eval_std.mlip

+0 -25 metaprl/refiner/term_std/term_eval_std.mlp

+0 -16 metaprl/refiner/term_std/term_op_std.mlip

+0 -32 metaprl/refiner/term_std/term_op_std.mlp

+0 -47 metaprl/refiner/term_std/term_std.ml

+0 -32 metaprl/refiner/term_std/term_std.mli

+0 -10 metaprl/refiner/term_std/term_std_sig.ml

+0 -16 metaprl/refiner/term_std/term_subst_std.mlip

+0 -36 metaprl/refiner/term_std/term_subst_std.mlp

+0 -20 metaprl/theories/base/base_cache.ml

+0 -17 metaprl/theories/base/base_cache.mli

+0 -60 metaprl/theories/base/base_dform.ml

+0 -22 metaprl/theories/base/base_dform.mli

+0 -50 metaprl/theories/base/base_dtactic.ml

+0 -35 metaprl/theories/base/base_dtactic.mli

+0 -20 metaprl/theories/base/base_rewrite.ml

+0 -17 metaprl/theories/base/base_rewrite.mli

+0 -51 metaprl/theories/base/base_theory.mlz

+0 -37 metaprl/theories/base/nuprl_font.ml

+0 -26 metaprl/theories/base/nuprl_font.mli

+0 -40 metaprl/theories/base/summary.ml

+0 -14 metaprl/theories/base/summary.mli

+0 -51 metaprl/theories/base/typeinf.ml

+0 -20 metaprl/theories/base/typeinf.mli

+0 -8 metaprl/theories/caml/caml_syntax.mli

+0 -14 metaprl/theories/czf/czf_and.mli

+0 -14 metaprl/theories/czf/czf_equal.mli

+0 -14 metaprl/theories/czf/czf_exists.mli

+0 -14 metaprl/theories/czf/czf_false.mli

+0 -14 metaprl/theories/czf/czf_implies.mli

+0 -14 metaprl/theories/czf/czf_itt_all.ml

+0 -11 metaprl/theories/czf/czf_itt_all.mli

+0 -14 metaprl/theories/czf/czf_itt_and.ml

+0 -11 metaprl/theories/czf/czf_itt_and.mli

+0 -5 metaprl/theories/czf/czf_itt_axioms.ml

+0 -5 metaprl/theories/czf/czf_itt_axioms.mli

+0 -14 metaprl/theories/czf/czf_itt_dall.ml

+0 -11 metaprl/theories/czf/czf_itt_dall.mli

+0 -14 metaprl/theories/czf/czf_itt_dexists.ml

+0 -11 metaprl/theories/czf/czf_itt_dexists.mli

+0 -14 metaprl/theories/czf/czf_itt_exists.ml

+0 -11 metaprl/theories/czf/czf_itt_exists.mli

+0 -16 metaprl/theories/czf/czf_itt_false.ml

+0 -13 metaprl/theories/czf/czf_itt_false.mli

+0 -14 metaprl/theories/czf/czf_itt_implies.ml

+0 -11 metaprl/theories/czf/czf_itt_implies.mli

+0 -24 metaprl/theories/czf/czf_itt_or.ml

+0 -18 metaprl/theories/czf/czf_itt_or.mli

+0 -19 metaprl/theories/czf/czf_itt_set.ml

+0 -16 metaprl/theories/czf/czf_itt_set.mli

+0 -16 metaprl/theories/czf/czf_itt_true.ml

+0 -10 metaprl/theories/czf/czf_itt_true.mli

+0 -14 metaprl/theories/czf/czf_member.mli

+0 -17 metaprl/theories/czf/czf_set.ml

+0 -17 metaprl/theories/czf/czf_set.mli

+0 -17 metaprl/theories/czf/czf_struct.mli

+0 -14 metaprl/theories/czf/czf_theory.mli

+0 -17 metaprl/theories/czf/czf_true.ml

+0 -17 metaprl/theories/czf/czf_true.mli

+0 -17 metaprl/theories/czf/czf_wf.ml

+0 -17 metaprl/theories/czf/czf_wf.mli

+0 -13 metaprl/theories/itt/itt_arith.ml

+0 -5 metaprl/theories/itt/itt_arith.mli

+0 -52 metaprl/theories/itt/itt_atom.ml

+0 -51 metaprl/theories/itt/itt_atom.mli

+0 -11 metaprl/theories/itt/itt_bool.ml

+0 -16 metaprl/theories/itt/itt_bool.mli

+0 -67 metaprl/theories/itt/itt_dfun.ml

+0 -58 metaprl/theories/itt/itt_dfun.mli

+0 -70 metaprl/theories/itt/itt_dprod.ml

+0 -52 metaprl/theories/itt/itt_dprod.mli

+0 -86 metaprl/theories/itt/itt_equal.ml

+0 -67 metaprl/theories/itt/itt_equal.mli

+0 -16 metaprl/theories/itt/itt_ext_equal.ml

+0 -13 metaprl/theories/itt/itt_ext_equal.mli

+0 -63 metaprl/theories/itt/itt_fun.ml

+0 -38 metaprl/theories/itt/itt_fun.mli

+0 -75 metaprl/theories/itt/itt_int.ml

+0 -66 metaprl/theories/itt/itt_int.mli

+0 -5 metaprl/theories/itt/itt_int_bool.ml

+0 -5 metaprl/theories/itt/itt_int_bool.mli

+0 -57 metaprl/theories/itt/itt_isect.ml

+0 -42 metaprl/theories/itt/itt_isect.mli

+0 -71 metaprl/theories/itt/itt_list.ml

+0 -52 metaprl/theories/itt/itt_list.mli

+0 -67 metaprl/theories/itt/itt_logic.ml

+0 -37 metaprl/theories/itt/itt_logic.mli

+0 -42 metaprl/theories/itt/itt_prec.ml

+0 -40 metaprl/theories/itt/itt_prec.mli

+0 -60 metaprl/theories/itt/itt_prod.ml

+0 -44 metaprl/theories/itt/itt_prod.mli

+0 -64 metaprl/theories/itt/itt_quotient.ml

+0 -49 metaprl/theories/itt/itt_quotient.mli

+0 -79 metaprl/theories/itt/itt_rfun.ml

+0 -51 metaprl/theories/itt/itt_rfun.mli

+0 -63 metaprl/theories/itt/itt_set.ml

+0 -51 metaprl/theories/itt/itt_set.mli

+0 -47 metaprl/theories/itt/itt_soft.ml

+0 -34 metaprl/theories/itt/itt_soft.mli

+0 -42 metaprl/theories/itt/itt_squash.ml

+0 -20 metaprl/theories/itt/itt_squash.mli

+0 -42 metaprl/theories/itt/itt_srec.ml

+0 -40 metaprl/theories/itt/itt_srec.mli

+0 -67 metaprl/theories/itt/itt_struct.ml

+0 -48 metaprl/theories/itt/itt_struct.mli

+0 -67 metaprl/theories/itt/itt_subtype.ml

+0 -49 metaprl/theories/itt/itt_subtype.mli

+0 -22 metaprl/theories/itt/itt_test.ml

+0 -5 metaprl/theories/itt/itt_test.mli

+0 -44 metaprl/theories/itt/itt_theory.ml

+0 -44 metaprl/theories/itt/itt_theory.mli

+0 -67 metaprl/theories/itt/itt_union.ml

+0 -58 metaprl/theories/itt/itt_union.mli

+0 -31 metaprl/theories/itt/itt_unit.ml

+0 -18 metaprl/theories/itt/itt_unit.mli

+0 -69 metaprl/theories/itt/itt_void.ml

+0 -60 metaprl/theories/itt/itt_void.mli

+0 -7 metaprl/theories/itt/itt_w.ml

+0 -7 metaprl/theories/itt/itt_w.mli

+0 -32 metaprl/theories/itt/main.ml

+0 -16 metaprl/theories/itt/main.mli

+0 -5 metaprl/theories/itt/test.ml

+0 -20 metaprl/theories/itt/test.mli

+0 -17 metaprl/theories/lf/lf_ctx.mli

+0 -17 metaprl/theories/lf/lf_dfun.ml

+0 -14 metaprl/theories/lf/lf_dfun.mli

+0 -17 metaprl/theories/lf/lf_kind.ml

+0 -14 metaprl/theories/lf/lf_kind.mli

+0 -17 metaprl/theories/lf/lf_sig.ml

+0 -17 metaprl/theories/lf/lf_sig.mli

+0 -17 metaprl/theories/lf/lf_type.ml

+0 -14 metaprl/theories/lf/lf_type.mli

+0 -37 metaprl/theories/lf/main.ml

+0 -17 metaprl/theories/lf/main.mli

+0 -23 metaprl/theories/ocaml/ocaml.mlz

+0 -21 metaprl/theories/ocaml/ocaml_base_df.ml

+0 -11 metaprl/theories/ocaml/ocaml_base_df.mli

+0 -8 metaprl/theories/ocaml/ocaml_df.mlz

+0 -32 metaprl/theories/ocaml/ocaml_expr_df.ml

+0 -8 metaprl/theories/ocaml/ocaml_expr_df.mli

+0 -17 metaprl/theories/ocaml/ocaml_me_df.ml

+0 -5 metaprl/theories/ocaml/ocaml_me_df.mli

+0 -17 metaprl/theories/ocaml/ocaml_mt_df.ml

+0 -5 metaprl/theories/ocaml/ocaml_mt_df.mli

+0 -23 metaprl/theories/ocaml/ocaml_patt_df.ml

+0 -5 metaprl/theories/ocaml/ocaml_patt_df.mli

+0 -17 metaprl/theories/ocaml/ocaml_sig_df.ml

+0 -5 metaprl/theories/ocaml/ocaml_sig_df.mli

+0 -29 metaprl/theories/ocaml/ocaml_str_df.ml

+0 -5 metaprl/theories/ocaml/ocaml_str_df.mli

+0 -20 metaprl/theories/ocaml/ocaml_type_df.ml

+0 -5 metaprl/theories/ocaml/ocaml_type_df.mli

+0 -14 metaprl/theories/ocaml_sos/ocaml_base_sos.ml

+0 -14 metaprl/theories/ocaml_sos/ocaml_base_sos.mli

+0 -17 metaprl/theories/ocaml_sos/ocaml_expr_sos.ml

+0 -17 metaprl/theories/ocaml_sos/ocaml_expr_sos.mli

+0 -8 metaprl/theories/ocaml_sos/ocaml_logic.ml

+0 -8 metaprl/theories/ocaml_sos/ocaml_logic.mli

+0 -8 metaprl/theories/ocaml_sos/ocaml_me_sos.ml

+0 -8 metaprl/theories/ocaml_sos/ocaml_me_sos.mli

+0 -8 metaprl/theories/ocaml_sos/ocaml_mt_sos.ml

+0 -8 metaprl/theories/ocaml_sos/ocaml_mt_sos.mli

+0 -17 metaprl/theories/ocaml_sos/ocaml_patt_sos.ml

+0 -17 metaprl/theories/ocaml_sos/ocaml_patt_sos.mli

+0 -8 metaprl/theories/ocaml_sos/ocaml_sig_sos.ml

+0 -8 metaprl/theories/ocaml_sos/ocaml_sig_sos.mli

+0 -8 metaprl/theories/ocaml_sos/ocaml_str_sos.ml

+0 -8 metaprl/theories/ocaml_sos/ocaml_str_sos.mli

+0 -5 metaprl/theories/ocaml_sos/ocaml_theory.mlz

+0 -8 metaprl/theories/ocaml_sos/ocaml_type_sos.ml

+0 -8 metaprl/theories/ocaml_sos/ocaml_type_sos.mli

+0 -16 metaprl/theories/rewrite/rw_beta.ml

+0 -6 metaprl/theories/rewrite/rw_beta.mli

+0 -30 metaprl/theories/tactic/conversionals.ml

+0 -24 metaprl/theories/tactic/conversionals.mli

+0 -28 metaprl/theories/tactic/perv.ml

+0 -15 metaprl/theories/tactic/perv.mli

+0 -24 metaprl/theories/tactic/rewrite_type.ml

+0 -18 metaprl/theories/tactic/rewrite_type.mli

+0 -45 metaprl/theories/tactic/sequent.ml

+0 -36 metaprl/theories/tactic/sequent.mli

+0 -63 metaprl/theories/tactic/tactic_cache.ml

+0 -39 metaprl/theories/tactic/tactic_cache.mli

+0 -43 metaprl/theories/tactic/tactic_type.ml

+0 -23 metaprl/theories/tactic/tactic_type.mli

+0 -68 metaprl/theories/tactic/tacticals.ml

+0 -41 metaprl/theories/tactic/tacticals.mli

+0 -31 metaprl/theories/tactic/var.ml

+0 -25 metaprl/theories/tactic/var.mli