Commit 9a4a6a16 authored by Christian Müller's avatar Christian Müller

Merge branch 'master' of versioncontrolseidl.in.tum.de:mueller/loopingworkflows

parents aa4f71c8 53360190
......@@ -11,7 +11,7 @@ forallmay a:T3,b:T4
Declassify
O(x): True
O(x:T1): True
Target
......
......@@ -15,7 +15,7 @@ forallmay a:T5,b:T6
Declassify
O(x): True
O(x:T1): True
Target
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment