Permalink
Browse files

updated with most recent proofs for dolce_present verification

  • Loading branch information...
carmenschui@gmail.com
carmenschui@gmail.com committed Jul 19, 2013
1 parent 00133e0 commit af1ecfc151828039aa763194da3dd219e7ea972a
Showing with 29,924 additions and 0 deletions.
  1. +1,487 −0 ontologies/dolce_present/interprets/output/ex0718_present_1.p9.out
  2. +1,500 −0 ontologies/dolce_present/interprets/output/ex0718_present_10.p9.out
  3. +1,512 −0 ontologies/dolce_present/interprets/output/ex0718_present_11.p9.out
  4. +739 −0 ontologies/dolce_present/interprets/output/ex0718_present_12.p9.out
  5. +719 −0 ontologies/dolce_present/interprets/output/ex0718_present_13.p9.out
  6. +1,505 −0 ontologies/dolce_present/interprets/output/ex0718_present_14.p9.out
  7. +776 −0 ontologies/dolce_present/interprets/output/ex0718_present_15.p9.out
  8. +769 −0 ontologies/dolce_present/interprets/output/ex0718_present_16.p9.out
  9. +739 −0 ontologies/dolce_present/interprets/output/ex0718_present_17.p9.out
  10. +736 −0 ontologies/dolce_present/interprets/output/ex0718_present_18.p9.out
  11. +757 −0 ontologies/dolce_present/interprets/output/ex0718_present_19.p9.out
  12. +1,487 −0 ontologies/dolce_present/interprets/output/ex0718_present_2.p9.out
  13. +758 −0 ontologies/dolce_present/interprets/output/ex0718_present_20.p9.out
  14. +1,488 −0 ontologies/dolce_present/interprets/output/ex0718_present_21.p9.out
  15. +1,523 −0 ontologies/dolce_present/interprets/output/ex0718_present_24.p9.out
  16. +1,484 −0 ontologies/dolce_present/interprets/output/ex0718_present_25.p9.out
  17. +1,500 −0 ontologies/dolce_present/interprets/output/ex0718_present_26.p9.out
  18. +1,512 −0 ontologies/dolce_present/interprets/output/ex0718_present_27.p9.out
  19. +1,487 −0 ontologies/dolce_present/interprets/output/ex0718_present_3.p9.out
  20. +1,489 −0 ontologies/dolce_present/interprets/output/ex0718_present_4.p9.out
  21. +1,489 −0 ontologies/dolce_present/interprets/output/ex0718_present_5.p9.out
  22. +1,491 −0 ontologies/dolce_present/interprets/output/ex0718_present_6.p9.out
  23. +750 −0 ontologies/dolce_present/interprets/output/ex0718_present_7.p9.out
  24. +743 −0 ontologies/dolce_present/interprets/output/ex0718_present_8.p9.out
  25. +1,484 −0 ontologies/dolce_present/interprets/output/ex0718_present_9.p9.out

Large diffs are not rendered by default.

Oops, something went wrong.

Large diffs are not rendered by default.

Oops, something went wrong.

Large diffs are not rendered by default.

Oops, something went wrong.

Large diffs are not rendered by default.

Oops, something went wrong.

Large diffs are not rendered by default.

Oops, something went wrong.

Large diffs are not rendered by default.

Oops, something went wrong.

Large diffs are not rendered by default.

Oops, something went wrong.

Large diffs are not rendered by default.

Oops, something went wrong.

Large diffs are not rendered by default.

Oops, something went wrong.

Large diffs are not rendered by default.

Oops, something went wrong.

Large diffs are not rendered by default.

Oops, something went wrong.

Large diffs are not rendered by default.

Oops, something went wrong.

Large diffs are not rendered by default.

Oops, something went wrong.

Large diffs are not rendered by default.

Oops, something went wrong.

Large diffs are not rendered by default.

Oops, something went wrong.

Large diffs are not rendered by default.

Oops, something went wrong.

Large diffs are not rendered by default.

Oops, something went wrong.

Large diffs are not rendered by default.

Oops, something went wrong.

Large diffs are not rendered by default.

Oops, something went wrong.

Large diffs are not rendered by default.

Oops, something went wrong.

Large diffs are not rendered by default.

Oops, something went wrong.

Large diffs are not rendered by default.

Oops, something went wrong.

Large diffs are not rendered by default.

Oops, something went wrong.

Large diffs are not rendered by default.

Oops, something went wrong.

Large diffs are not rendered by default.

Oops, something went wrong.

0 comments on commit af1ecfc

Please sign in to comment.