ACL2 Version 2.8 Notes on Guard-related Changes
All the guard-related changes may be found elsewhere; in particular, see note-2-8-bug-fixes.