search

JacquesCarette / hol-light-qe

The HOL Light theorem prover (moved from Google code)
Other
7 stars 1 forks source link

third batch #16

Closed sjjs7 closed 4 years ago

sjjs7 commented 4 years ago

These have been checked and are good to go

JacquesCarette commented 4 years ago

You might want to 'rebase' your branch on current master as a first thing. I think a lot of the conflicts above are actually in files where the line endings changed!