Commits

Branch selector

 336bf73

User selector

All users

Datepicker

All time

Commit History

Commits on Jun 21, 2020

• Fix monadic while in error-state monad

  

  hrutvik

  authored and

  Michael Norrish

  committed
  336bf73

Commits on Jun 20, 2020

• Fix Unicode violation in src/

  

  Michael Norrish

  committed
  3ff35df

Commits on Jun 19, 2020

• For some reason I cannot build acmart-based articles when makeidx is loaded

  

  AndreasLoow

  authored and

  Michael Norrish

  committed
  df9c20a

Commits on Jun 18, 2020

• More progress on mechanising Rutten

  

  Michael Norrish

  committed
  a3801dd

Commits on Jun 17, 2020

• Make some Unicode parenthesis-like characters non-aggregating

  Show description for 8eabfe9
  

  Michael Norrish

  committed
  8eabfe9

• Start of some abstract mechanisation of coalgebra theory

  

  Michael Norrish

  committed
  0f36377

Commits on Jun 16, 2020

• Fix miller selftest to not run worst offending tests on poly 580

  

  Michael Norrish

  committed
  178b21f

• Flag really bad garbage collection performance in selftests

  Show description for d3a6f8b
  

  Michael Norrish

  committed
  d3a6f8b

• Fix another proof (last at -t2) broken by a9a7e76

  Show description for e23a23d
  

  Michael Norrish

  committed
  e23a23d

• Merge pull request HOL-Theorem-Prover#827 from HOL-Theorem-Prover/llist

  Show description for d272839
  

  Michael Norrish

  authored
  d272839

• Fix proof broken by a9a7e76

  

  Michael Norrish

  committed
  4e576b6

• Remove now unnecessary bindings of _ind theorems

  Show description for 7587a3f
  

  Michael Norrish

  committed
  7587a3f

Commits on Jun 15, 2020

• Define an adjacent relation on lists and their elements

  Show description for a9a7e76
  

  Michael Norrish

  committed
  a9a7e76

• Provide default inductions for TC, RTC, and EQC

  Show description for 8e5ab83
  

  Michael Norrish

  committed
  8e5ab83

• Fix bug preventing induction on negated relation

  Show description for b5ca4a1
  

  Michael Norrish

  committed
  b5ca4a1

• Delete some unused code in listScript.sml

  

  Michael Norrish

  committed
  68e43f5

Commits on Jun 13, 2020

• Update src for strip_binop change

  

  myreen

  authored and

  Michael Norrish

  committed
  511e4a4

• Update examples for strip_binop change

  

  myreen

  authored and

  Michael Norrish

  committed
  b36433f

• Rename strip_binop -> strip_binop_opt; define strip_binop

  

  myreen

  authored and

  Michael Norrish

  committed
  ab8108a

Commits on Jun 12, 2020

• Merge remote-tracking branch 'origin/develop' into llist

  myreen

  committed
  bca75df

• Remove some trailing whitespace in DESCRIPTION

  

  Michael Norrish

  committed
  8e963a8

• Document new <<- (mlet) syntax in DESCRIPTION and release notes

  

  Michael Norrish

  committed
  01704bc

• Give paragraph-leading quotations more prominence in H. Math section

  

  Michael Norrish

  committed
  15c8093

• Correct misspelling of Chebyshev

  

  Michael Norrish

  committed
  40e73d3

• Give → a LaTeX realisation in the polyscripter umap file

  

  Michael Norrish

  committed
  204149b

• Remove some Unicode in LaTeX files

  

  Michael Norrish

  committed
  1eeca43

• Tidy up DESCRIPTION bibliography

  Show description for 991b3a3
  

  Michael Norrish

  committed
  991b3a3

• Remove bad/stale comment in theories.stex

  

  Michael Norrish

  committed
  3fe7d26

• Unit tests for monadic let syntax

  

  hrutvik

  authored and

  Michael Norrish

  committed
  8d1a2ce

• Add monadic let syntax to monadsyntax

  Show description for da74731
  

  hrutvik

  authored and

  Michael Norrish

  committed
  da74731

• Cleanup of append thms for SORTED

  

  AndreasLoow

  authored and

  Michael Norrish

  committed
  805c501

• emacs-mode: fix font-locking of SML keywords (open, val, etc.)

  

  Michael Norrish

  committed
  06a50fb

• emacs-mode: fix hol-mode's handling of open_...

  Show description for 3ec1bb9
  

  Michael Norrish

  committed
  3ec1bb9

• Fix Unicode problem in 827420b

  

  Michael Norrish

  committed
  b8db52a

Commits on Jun 10, 2020

• Merge remote-tracking branch 'origin/develop' into llist

  myreen

  committed
  f6e646d

Pagination

Previous

Next