Recent HOL versions have changed `by`

#56 Merged at b0dd409
Repository
bacam
Branch
hol-by-fix
Repository
Peter_Sewell
Branch
master
Author
  1. Brian Campbell
Reviewers
Description

This should be compatible with both

Comments (0)