Nested Stobjs

Matt Kaufmann
ACL2 Seminar
March 26, 2013

See file README for a guide to this talk.

Files in this directory:

README
guide to the talk

essay.txt
"Essay on Nested Stobjs" from an ACL2 source file

log.txt
shell log for demo (may add just a bit of annotation upon request)

nested-stobj-tests.lisp
demo file (ultimately to be found in books/misc/)

patch.lisp
an annotated patch file, included for reference

remarks.txt
annotations added to the above patch file