further progress on Equal
rec Equal verified
Merge remote-tracking branch 'origin/master' into x64
Merge branch 'master' into x64
printing of ASTs is now an opt-in feature
avoids generating empty names
translator now proves check_ctors_decs
got HOL light example running again -- was out of date
translator now avoids duplicate constructor names
fixed a conflict
translator uses lists (nil and ::) from init_envC
tidy up
cheating a slow EVAL-proof
Merge remote-tracking branch 'origin/x64'

Conflicts:
	translator/ml_translatorLib.sml