fix xdoc.js problem that prevented firefox (but not chrome) from folloiwng links to topics.

git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2126 303c5b2c-9740-0410-b014-fd8f9db7be32
STUB redux: Deleted stubs that were part of the ACL2 6.3 release:

   finite-set-theory/osets/map.lisp
   finite-set-theory/osets/map-tests.lisp
   finite-set-theory/osets/instance.lisp
   finite-set-theory/osets/membership.lisp
   finite-set-theory/osets/sort.lisp
   finite-set-theory/osets/cardinality.lisp
   finite-set-theory/osets/under-set-equiv.lisp
   finite-set-theory/osets/quantify.lisp
   finite-set-theory/osets/computed-hints.lisp
   finite-set-theory/osets/delete.lisp
   finite-set-theory/osets/intersect.lisp
   finite-set-theory/osets/primitives.lisp
   finite-set-theory/osets/union.lisp
   finite-set-theory/osets/sets.lisp
   finite-set-theory/osets/difference.lisp
   finite-set-theory/osets/outer.lisp
   finite-set-theory/osets/portcullis.lisp
   std/lists/make-character-list.lisp
   std/lists/coerce.lisp
   std/io/unsigned-byte-listp.lisp
   std/io/signed-byte-listp.lisp
   std/io/read-object.lisp
   std/misc/explode-atom.lisp
   std/misc/explode-nonnegative-integer.lisp
   centaur/aig/three-four.lisp
   centaur/aig/base.lisp
   centaur/misc/resize-list.lisp
   centaur/misc/equal-by-nths.lisp


Removed certify-book commands from some .acl2 files in centaur/...

Update issue 101

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