Code

remove ArrayTheoryISE#500

Code

Merged

MichaelRawson merged 1 commit intomastervprover/vampire:masterfrom michael-remove-array-theory-isevprover/vampire:michael-remove-array-theory-iseCopy head branch name to clipboardNov 8, 2023

-269

Commits

Commits on Nov 7, 2023

• remove ArrayTheoryISE, unused in a decade

  MichaelRawson

  committed
  0df16ac

  Copy full SHA for 0df16ac