Code

Adjustments to cv_transLib#1255

Code

Merged

mn200 merged 7 commits intodevelopHOL-Theorem-Prover/HOL:developfrom cv_trans_fixesHOL-Theorem-Prover/HOL:cv_trans_fixesCopy head branch name to clipboardJun 18, 2024

+112-31

Commits

Commits on Jun 17, 2024

• Improve cv_eval error message

  

  myreen

  authored and

  Magnus Myreen

  committed
  8a54338

  Copy full SHA for 8a54338

• Sketch a new selftest

  

  myreen

  authored and

  Magnus Myreen

  committed
  e5a896a

  Copy full SHA for e5a896a

• Add cv_rep theorems for natural >, >=

  

  hrutvik

  authored and

  Magnus Myreen

  committed
  7af099d

  Copy full SHA for 7af099d

• Add int_{mod,div} cv_rep theorems

  Show description for f3477f4
  

  hrutvik

  and

  Magnus Myreen

  committed
  f3477f4

  Copy full SHA for f3477f4

• Fix bug introduced in last commit

  

  hrutvik

  authored and

  Magnus Myreen

  committed
  e3ab27a

  Copy full SHA for e3ab27a

• Add COUNT_LIST cv_inline theorem

  Show description for 678b075
  

  hrutvik

  and

  Magnus Myreen

  committed
  678b075

  Copy full SHA for 678b075

• Remove some unicode

  

  myreen

  authored and

  Magnus Myreen

  committed
  cefd15d

  Copy full SHA for cefd15d