The defung library has been relocated to coi/defung in
the ACL2 books directory.