diff -r feede61efa96 -r 866172a16472 book/src/atccl_patterns.txt
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/book/src/atccl_patterns.txt	Wed Mar 23 21:10:10 2011 +0100
@@ -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 ")"