search

JacquesCarette / hol-light-qe

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

Revert "fourth batch" #18

Closed JacquesCarette closed 4 years ago

JacquesCarette commented 4 years ago

Reverts JacquesCarette/hol-light-qe#17

JacquesCarette commented 4 years ago

Shouldn't have been squashed.