log tests/policy2.urp

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