Index of /HOBBES/DEC/decmate