On page 84, the tutorial claims that there are solutions
to the exercises in
hol/examples/parity/RESET_{REG,PARITY}.sml .
These files do not exist in CVS.
I've now removed all references to these files from the tutorial (cf. r7209). Not as nice as adding them to the repository, of course, but still better than before.
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
Logged In: YES
user_id=13185
Someone really should write these.
I've now removed all references to these files from the tutorial (cf. r7209). Not as nice as adding them to the repository, of course, but still better than before.