summaryrefslogtreecommitdiff
path: root/tests/policy2.urs
Commit message (Collapse)AuthorAge
* Completely redid main Iflow logic; so far, policy and policy2 workGravatar Adam Chlipala2010-04-13