I created a directory on jazz ~reverse/projects/nasa/amphion/ to hold
the most recent stuff we've gotten from NASA Ames:
domain-theory-spice8-sr1.txt -- the domain theory
snark-to-spicelib.txt -- the Refine translation rules
(i.e., the applicative layer btwn snark axioms and spicelib routines)