Skip to content
Permalink
Browse files

CODI: cleaning up old theorem outputs

  • Loading branch information...
thahmann committed Feb 6, 2019
1 parent 90b29c9 commit 6598c0d0404cc43ee6f89ec8ababbafc4276c314
Showing with 0 additions and 4,910 deletions.
  1. +0 −200 ontologies/multidim_mereotopology_dim/theorems/output/dim_eqdimpossible_theorems_1.relevance1.p9.out
  2. +0 −212 ontologies/multidim_mereotopology_dim/theorems/output/dim_eqdimpossible_theorems_2.relevance1.p9.out
  3. +0 −219 ontologies/multidim_mereotopology_dim/theorems/output/dim_eqdimpossible_theorems_3.relevance1.p9.out
  4. +0 −216 ontologies/multidim_mereotopology_dim/theorems/output/dim_eqdimpossible_theorems_4.relevance1.p9.out
  5. +0 −220 ontologies/multidim_mereotopology_dim/theorems/output/dim_eqdimpossible_theorems_5.relevance1.p9.out
  6. +0 −175 ontologies/multidim_mereotopology_dim/theorems/output/dim_prime_linear_theorems.m4.out
  7. +0 −155 ontologies/multidim_mereotopology_dim/theorems/output/dim_prime_linear_theorems_1.p9.out
  8. +0 −351 ontologies/multidim_mereotopology_dim/theorems/output/dim_prime_linear_theorems_1.relevance1.m4.out
  9. +0 −156 ontologies/multidim_mereotopology_dim/theorems/output/dim_prime_linear_theorems_1.relevance1.p9.out
  10. +0 −167 ontologies/multidim_mereotopology_dim/theorems/output/dim_prime_linear_theorems_2.p9.out
  11. +0 −352 ontologies/multidim_mereotopology_dim/theorems/output/dim_prime_linear_theorems_2.relevance1.m4.out
  12. +0 −168 ontologies/multidim_mereotopology_dim/theorems/output/dim_prime_linear_theorems_2.relevance1.p9.out
  13. +0 −179 ontologies/multidim_mereotopology_dim/theorems/output/dim_prime_linear_theorems_3.p9.out
  14. +0 −353 ontologies/multidim_mereotopology_dim/theorems/output/dim_prime_linear_theorems_3.relevance1.m4.out
  15. +0 −180 ontologies/multidim_mereotopology_dim/theorems/output/dim_prime_linear_theorems_3.relevance1.p9.out
  16. +0 −180 ontologies/multidim_mereotopology_dim/theorems/output/dim_prime_linear_theorems_4.p9.out
  17. +0 −353 ontologies/multidim_mereotopology_dim/theorems/output/dim_prime_linear_theorems_4.relevance1.m4.out
  18. +0 −181 ontologies/multidim_mereotopology_dim/theorems/output/dim_prime_linear_theorems_4.relevance1.p9.out
  19. +0 −187 ontologies/multidim_mereotopology_dim/theorems/output/dim_prime_linear_theorems_5.p9.out
  20. +0 −353 ontologies/multidim_mereotopology_dim/theorems/output/dim_prime_linear_theorems_5.relevance1.m4.out
  21. +0 −189 ontologies/multidim_mereotopology_dim/theorems/output/dim_prime_linear_theorems_5.relevance1.p9.out
  22. +0 −164 ontologies/multidim_mereotopology_dim/theorems/output/dim_prime_linear_theorems_6.p9.out

This file was deleted.

Oops, something went wrong.
Oops, something went wrong.

0 comments on commit 6598c0d

Please sign in to comment.
You can’t perform that action at this time.