occam-verify-cli 0.0.617 → 0.0.619

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (109) hide show
  1. package/lib/assignment.js +1 -1
  2. package/lib/axiom.js +1 -1
  3. package/lib/axiomLemmaTheoremConjecture.js +1 -1
  4. package/lib/combinator.js +1 -1
  5. package/lib/conclusion.js +1 -1
  6. package/lib/conjecture.js +1 -1
  7. package/lib/consequent.js +1 -1
  8. package/lib/constructor.js +1 -1
  9. package/lib/context/file.js +1 -1
  10. package/lib/context/metaproof.js +1 -1
  11. package/lib/context/proof.js +1 -1
  12. package/lib/context/release.js +1 -1
  13. package/lib/equality.js +3 -4
  14. package/lib/index.js +1 -1
  15. package/lib/label.js +1 -1
  16. package/lib/lemma.js +1 -1
  17. package/lib/log.js +1 -1
  18. package/lib/metaType.js +1 -1
  19. package/lib/metavariable.js +1 -1
  20. package/lib/mixins/file.js +1 -1
  21. package/lib/mixins/logging.js +1 -1
  22. package/lib/node/metastatement/bracketed.js +1 -1
  23. package/lib/node/statement/bracketed.js +1 -1
  24. package/lib/node/statement/combinator/bracketed.js +1 -1
  25. package/lib/node/statement/combinator/equality.js +1 -1
  26. package/lib/node/statement/equality.js +1 -1
  27. package/lib/ocmbinator/bracketed.js +1 -1
  28. package/lib/ocmbinator/equality.js +1 -1
  29. package/lib/permutationsMatrix.js +1 -1
  30. package/lib/premise.js +1 -1
  31. package/lib/rule.js +1 -1
  32. package/lib/step/metaproof.js +1 -1
  33. package/lib/step/proof.js +1 -1
  34. package/lib/substitution/metastatementForMetavariable.js +4 -11
  35. package/lib/substitution/statementForMetavariable.js +4 -11
  36. package/lib/substitution/termForVariable.js +2 -9
  37. package/lib/supposition.js +1 -1
  38. package/lib/theorem.js +1 -1
  39. package/lib/type.js +1 -1
  40. package/lib/utilities/array.js +1 -1
  41. package/lib/utilities/customGrammar.js +1 -1
  42. package/lib/utilities/metaproof.js +9 -10
  43. package/lib/utilities/node.js +1 -1
  44. package/lib/utilities/permutations.js +1 -1
  45. package/lib/utilities/proof.js +9 -10
  46. package/lib/utilities/query.js +1 -1
  47. package/lib/utilities/releaseContext.js +1 -1
  48. package/lib/utilities/string.js +1 -1
  49. package/lib/utilities/tokens.js +1 -1
  50. package/lib/variable.js +1 -1
  51. package/lib/verifier/metastatementForMetavariable/conclusion.js +1 -1
  52. package/lib/verifier/metastatementForMetavariable/premise.js +1 -1
  53. package/lib/verifier/metastatementForMetavariable.js +1 -1
  54. package/lib/verifier/statementForMetavariable/conclusion.js +1 -1
  55. package/lib/verifier/statementForMetavariable/premise.js +1 -1
  56. package/lib/verifier/statementForMetavariable.js +1 -1
  57. package/lib/verifier/termForVariable/consequent.js +1 -1
  58. package/lib/verifier/termForVariable/supposition.js +1 -1
  59. package/lib/verifier/termForVariable.js +1 -1
  60. package/lib/verifier.js +1 -1
  61. package/lib/verify/assertion/type.js +1 -1
  62. package/lib/verify/axiom.js +1 -1
  63. package/lib/verify/conclusion.js +1 -1
  64. package/lib/verify/conjecture.js +1 -1
  65. package/lib/verify/consequent.js +1 -1
  66. package/lib/verify/declaration/combinator.js +1 -1
  67. package/lib/verify/declaration/constructor.js +1 -1
  68. package/lib/verify/declaration/metavariable.js +1 -1
  69. package/lib/verify/declaration/topLevel.js +1 -1
  70. package/lib/verify/declaration/type.js +1 -1
  71. package/lib/verify/declaration/variable.js +1 -1
  72. package/lib/verify/derivation.js +1 -1
  73. package/lib/verify/file.js +1 -1
  74. package/lib/verify/files.js +1 -1
  75. package/lib/verify/label.js +1 -1
  76. package/lib/verify/labels.js +1 -1
  77. package/lib/verify/lemma.js +1 -1
  78. package/lib/verify/metastatement/qualified.js +1 -1
  79. package/lib/verify/metastatement/unqualified.js +1 -1
  80. package/lib/verify/metastatement.js +1 -1
  81. package/lib/verify/metavariable.js +1 -1
  82. package/lib/verify/premise.js +1 -1
  83. package/lib/verify/proof.js +3 -4
  84. package/lib/verify/release.js +1 -1
  85. package/lib/verify/rule.js +1 -1
  86. package/lib/verify/ruleDerivation.js +1 -1
  87. package/lib/verify/ruleProof.js +3 -4
  88. package/lib/verify/statement/qualified.js +1 -1
  89. package/lib/verify/statement/unqualified.js +1 -1
  90. package/lib/verify/statement.js +1 -1
  91. package/lib/verify/statementAsCombinator.js +1 -1
  92. package/lib/verify/supposition.js +1 -1
  93. package/lib/verify/term.js +1 -1
  94. package/lib/verify/termAsConstructor.js +1 -1
  95. package/lib/verify/theorem.js +1 -1
  96. package/lib/verify/type.js +1 -1
  97. package/lib/verify/typeInference.js +1 -1
  98. package/lib/verify/variable.js +1 -1
  99. package/package.json +3 -3
  100. package/src/equality.js +3 -6
  101. package/src/substitution/metastatementForMetavariable.js +3 -12
  102. package/src/substitution/statementForMetavariable.js +3 -12
  103. package/src/substitution/termForVariable.js +1 -7
  104. package/src/utilities/metaproof.js +9 -18
  105. package/src/utilities/proof.js +9 -18
  106. package/src/verify/proof.js +2 -5
  107. package/src/verify/ruleProof.js +2 -5
  108. package/lib/matcher.js +0 -100
  109. package/src/matcher.js +0 -84

There are too many changes on this page to be displayed.

The amount of changes on this page would crash your brower.

You can still verify the content by downloading the package file manually.