Attached is the proposal for vacuity, written by JH and me. I also upload it to mantis. For a precise definition we needed a definition of evaluation attempt, so we defined it. Doron
This archive was generated by hypermail 2.1.8 : Fri Apr 21 2006 - 13:37:34 PDT