diff -r 000000000000 -r feede61efa96 paper/src/atccl_patterns.txt
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/paper/src/atccl_patterns.txt	Fri Jun 04 13:48:28 2010 +0200
@@ -0,0 +1,10 @@
+pattern        = "pattern" id "(" pattern_term ")"
+pattern_term   = int_pt int_op int
+                 | (char_pt | string_pt) string_op string
+                 | string_array_pt string_array_op string_array
+                 | string_array string_array_op string_array_pt
+                 | string string_string_array_op 
+                   (string_array_pt | char_array_pt )
+                 | pattern_term ("or" | "and") pattern_term
+                 | "not" pattern_term
+                 | "(" pattern_term ")"