Made minor edits to serialize code, especially serialize-raw.lisp,
mainly to comments.  I am now happy to take responsibility for
serialize (though I haven't yet checked that J is, too).  It remains
to deal similarly with the hons, memoize, and fast-alist code before
we consider ACL2(h) not to be "experimental".  Thanks to Jared Davis
for his help in updating serialize-raw.lisp.


git-svn-id: http://acl2-devel.googlecode.com/svn/trunk@1292 5d84a466-a78b-0930-a311-59b22171a541
My preceding commit was intended to complete minor edits to the
serialize code, but I'd forgotten to finish first!  I'm finished now,
modulo understanding the call of hl-faltable-maphash in
ser-encode-fals (which should happen when I start looking at
hons-raw.lisp).

My thanks again go to Jared, not only for his help, but for writing
such a clear and well-commented file of code!



git-svn-id: http://acl2-devel.googlecode.com/svn/trunk@1293 5d84a466-a78b-0930-a311-59b22171a541