summaryrefslogtreecommitdiff
path: root/example/example.oracles
AgeCommit message (Expand)Author
2014-02-05initPatrick Simianer