Handling theories with several proofs

proofs/pipeline/dune

proofs/pipeline/dune-project

proofs/pipeline/examples/ex/ex.expected

proofs/pipeline/examples/ex/ex.ml

proofs/pipeline/examples/hello/hello.expected

proofs/pipeline/examples/hello/hello.ml

proofs/pipeline/examples/multiproofs/dune

proofs/pipeline/examples/multiproofs/encoding

proofs/pipeline/examples/multiproofs/lambdapi.pkg

proofs/pipeline/examples/multiproofs/mp.expected

proofs/pipeline/examples/multiproofs/mp.log

proofs/pipeline/examples/multiproofs/mp.ml

proofs/pipeline/examples/multiproofs/mp.prf

proofs/pipeline/examples/multiproofs/mp.pvs

proofs/pipeline/examples/multiproofs/spec/main.lp

proofs/pipeline/pipe.ml

proofs/pipeline/psnj_pipe.opam