Gianfranco Costamagna pushed to branch upstream at Debian OCaml Maintainers / hol-light
Commits:
-
e36a6cdd
by Gianfranco Costamagna at 2019-07-29T11:27:00Z
8 changed files:
- + .gitattributes
- + .gitignore
- 100/cayley_hamilton.ml
- Boyer_Moore/README
- CHANGES
- + Examples/digit_serial_methods.ml
- Examples/lucas_lehmer.ml
- + Examples/padics.ml