See file README for a guide to this talk.
guide to the talk
"Essay on Nested Stobjs" from an ACL2 source file
shell log for demo (may add just a bit of annotation upon request)
demo file (ultimately to be found in books/misc/)
an annotated patch file, included for reference
annotations added to the above patch file
review of stobjs