diff options
Diffstat (limited to 'omega/examples/old_test/verlind1a')
| -rw-r--r-- | omega/examples/old_test/verlind1a | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/omega/examples/old_test/verlind1a b/omega/examples/old_test/verlind1a new file mode 100644 index 0000000..e43ec19 --- /dev/null +++ b/omega/examples/old_test/verlind1a @@ -0,0 +1,3 @@ +R := { [i] : 1 <= i <= 6 & exists (alpha : 3 alpha + 1 <= i <= 3 alpha + 2) + & not (1 <= i <= 2) }; +R; |