Quoting :doc note-7-0:

  The new command :btm has been added to the list of valid
  [brr-commands], to show the bottom-most frame in the path. Thanks
  to David Rager for requesting this feature.


git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2929 303c5b2c-9740-0410-b014-fd8f9db7be32
Trivial change.  Sorry about the email.

git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2930 303c5b2c-9740-0410-b014-fd8f9db7be32
Moving some primitives related to def-gl-rule

git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2931 303c5b2c-9740-0410-b014-fd8f9db7be32
Putting back def-gl-rulel and def-gl-ruledl

git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2932 303c5b2c-9740-0410-b014-fd8f9db7be32