diff options
| author | Robert Norton | 2018-05-18 11:46:08 +0100 |
|---|---|---|
| committer | Robert Norton | 2018-05-18 11:46:48 +0100 |
| commit | 7548f9b549bbb2b23598d3eb62eca1c3feeeb5cc (patch) | |
| tree | b9ec4184801658bd61a54a069caaab18e840b8a6 /lib/hol/Holmakefile | |
| parent | 875c258194789bf062d68be91dbd6e681fc77c9d (diff) | |
use correct inequality for strings.
Diffstat (limited to 'lib/hol/Holmakefile')
0 files changed, 0 insertions, 0 deletions