X-Git-Url: http://wien.tomnetworks.com/gitweb/?p=testub10.git;a=blobdiff_plain;f=gesamt%2Fcodea_skinner33_19.0;fp=gesamt%2Fcodea_skinner33_19.0;h=3a12e4bb1f5ca7fc5f671223b4f2e0a83c0201de;hp=0000000000000000000000000000000000000000;hb=029401d51612c5e69d7ac8603e1b69cd7ed6ef96;hpb=bf19094ac2573112418701ba4c6abf5779e3a9f7

diff --git a/gesamt/codea_skinner33_19.0 b/gesamt/codea_skinner33_19.0
new file mode 100644
index 0000000..3a12e4b
--- /dev/null
+++ b/gesamt/codea_skinner33_19.0
@@ -0,0 +1,31 @@
+method f1(a b)
+	return not(a or b);
+end;
+
+method f2(a b)
+	return not(not(a or b));
+end;
+
+method f3(a b)
+	return not(a - b);
+end;
+
+method f4(a b)
+	return not(not(a - b));
+end;
+
+method f5(a b)
+	return not(a < b);
+end;
+
+method f6(a b)
+	return not(not(a < b));
+end;
+
+method f7(a b)
+	return not(a = b);
+end;
+
+method f8(a b)
+	return not(not(a = b));
+end;