log tests/policy2.urs

age author description
2010-04-13 Adam Chlipala Completely redid main Iflow logic; so far, policy and policy2 work