occam-verify-cli 0.0.802 → 0.0.804

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 (117) hide show
  1. package/lib/assignment/equality.js +1 -1
  2. package/lib/assignment/metavariable.js +1 -1
  3. package/lib/assignment/variable.js +1 -1
  4. package/lib/axiom.js +1 -1
  5. package/lib/axiomLemmaTheoremConjecture.js +1 -1
  6. package/lib/collection.js +1 -1
  7. package/lib/combinator.js +1 -1
  8. package/lib/conclusion.js +1 -1
  9. package/lib/conjecture.js +1 -1
  10. package/lib/consequent.js +1 -1
  11. package/lib/constants.js +1 -1
  12. package/lib/constructor.js +1 -1
  13. package/lib/context/file.js +1 -1
  14. package/lib/context/local.js +1 -1
  15. package/lib/context/localMeta.js +1 -1
  16. package/lib/context/release.js +1 -1
  17. package/lib/equality.js +1 -1
  18. package/lib/index.js +1 -1
  19. package/lib/label.js +1 -1
  20. package/lib/lemma.js +1 -1
  21. package/lib/log.js +1 -1
  22. package/lib/metaType.js +1 -1
  23. package/lib/metaTypeNames.js +1 -1
  24. package/lib/metaTypes.js +1 -1
  25. package/lib/metavariable.js +1 -1
  26. package/lib/mixins/context.js +1 -1
  27. package/lib/node/metastatement/bracketed.js +1 -1
  28. package/lib/node/statement/bracketed.js +1 -1
  29. package/lib/node/statement/combinator/bracketed.js +1 -1
  30. package/lib/ocmbinator/bracketed.js +1 -1
  31. package/lib/permutationsMatrix.js +1 -1
  32. package/lib/premise.js +1 -1
  33. package/lib/releaseContext/create.js +1 -1
  34. package/lib/releaseContext/initialise.js +1 -1
  35. package/lib/rule.js +1 -1
  36. package/lib/ruleNames.js +1 -1
  37. package/lib/step/metaproof.js +1 -1
  38. package/lib/step/proof.js +1 -1
  39. package/lib/substitution/metastatementForMetavariable.js +1 -1
  40. package/lib/substitution/statementForMetavariable.js +1 -1
  41. package/lib/substitution/termForVariable.js +1 -1
  42. package/lib/supposition.js +1 -1
  43. package/lib/term.js +1 -1
  44. package/lib/theorem.js +1 -1
  45. package/lib/tokens/statement/combinator/bracketed.js +1 -1
  46. package/lib/type.js +1 -1
  47. package/lib/typeNames.js +1 -1
  48. package/lib/utilities/array.js +1 -1
  49. package/lib/utilities/assignments.js +1 -1
  50. package/lib/utilities/collection.js +1 -1
  51. package/lib/utilities/customGrammar.js +1 -1
  52. package/lib/utilities/lineIndex.js +1 -1
  53. package/lib/utilities/metaproof.js +1 -1
  54. package/lib/utilities/node.js +1 -1
  55. package/lib/utilities/permutations.js +1 -1
  56. package/lib/utilities/proof.js +1 -1
  57. package/lib/utilities/query.js +1 -1
  58. package/lib/utilities/string.js +1 -1
  59. package/lib/utilities/terminalNodes.js +1 -1
  60. package/lib/utilities/tokens.js +1 -1
  61. package/lib/variable.js +1 -1
  62. package/lib/verifier/node/metastatement.js +1 -1
  63. package/lib/verifier/node/statementAsCombinator.js +1 -1
  64. package/lib/verifier/node/termAsConstructor.js +1 -1
  65. package/lib/verifier/node.js +1 -1
  66. package/lib/verifier/nodes/equality.js +1 -1
  67. package/lib/verifier/nodes/metastatementForMetavariable.js +1 -1
  68. package/lib/verifier/nodes/statement.js +1 -1
  69. package/lib/verifier/nodes/statementForMetavariable.js +1 -1
  70. package/lib/verifier/nodes/term.js +1 -1
  71. package/lib/verifier/nodes/termForVariable.js +1 -1
  72. package/lib/verifier/nodes.js +1 -1
  73. package/lib/verify/axiom.js +1 -1
  74. package/lib/verify/conclusion.js +1 -1
  75. package/lib/verify/conjecture.js +1 -1
  76. package/lib/verify/consequent.js +1 -1
  77. package/lib/verify/declaration/combinator.js +1 -1
  78. package/lib/verify/declaration/constructor.js +1 -1
  79. package/lib/verify/declaration/metavariable.js +1 -1
  80. package/lib/verify/declaration/topLevel.js +1 -1
  81. package/lib/verify/declaration/type.js +1 -1
  82. package/lib/verify/declaration/variable.js +1 -1
  83. package/lib/verify/derivation.js +1 -1
  84. package/lib/verify/equality.js +1 -1
  85. package/lib/verify/file.js +1 -1
  86. package/lib/verify/files.js +1 -1
  87. package/lib/verify/givenType.js +1 -1
  88. package/lib/verify/givenVariable.js +1 -1
  89. package/lib/verify/label.js +1 -1
  90. package/lib/verify/labels.js +1 -1
  91. package/lib/verify/lemma.js +1 -1
  92. package/lib/verify/metastatement/qualified.js +1 -1
  93. package/lib/verify/metastatement/unqualified.js +1 -1
  94. package/lib/verify/metastatement.js +1 -1
  95. package/lib/verify/metavariable.js +1 -1
  96. package/lib/verify/premise.js +1 -1
  97. package/lib/verify/premises.js +1 -1
  98. package/lib/verify/proof.js +1 -1
  99. package/lib/verify/release.js +1 -1
  100. package/lib/verify/rule.js +1 -1
  101. package/lib/verify/ruleDerivation.js +1 -1
  102. package/lib/verify/ruleProof.js +1 -1
  103. package/lib/verify/statement/qualified.js +1 -1
  104. package/lib/verify/statement/unqualified.js +1 -1
  105. package/lib/verify/statement.js +1 -1
  106. package/lib/verify/statementAsCombinator.js +1 -1
  107. package/lib/verify/supposition.js +1 -1
  108. package/lib/verify/suppositions.js +1 -1
  109. package/lib/verify/term.js +1 -1
  110. package/lib/verify/termAndGivenType.js +1 -1
  111. package/lib/verify/termAsConstructor.js +1 -1
  112. package/lib/verify/terms.js +1 -1
  113. package/lib/verify/theorem.js +1 -1
  114. package/lib/verify/type.js +1 -1
  115. package/lib/verify/typeAssertion.js +1 -1
  116. package/lib/verify/variable.js +1 -1
  117. package/package.json +5 -5

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.