*** use_bag (17:18:33 8/25/2016)
*** Generated by proveit - ProofLite-6.0.9 (3/14/14)
*** Trusted Oracles
***   MetiTarski: MetiTarski Theorem Prover via PVS proof rule metit
*** 
 Proof summary for theory use_bag
    test1.................................proved - complete   [shostak](0.04 s)
    test2.................................proved - complete   [shostak](0.03 s)
    test3.................................proved - complete   [shostak](0.01 s)
    test4.................................proved - complete   [shostak](0.01 s)
    Theory totals: 4 formulas, 4 attempted, 4 succeeded (0.09 s)

Grand Totals: 4 proofs, 4 attempted, 4 succeeded (0.09 s)