shen/release/test_programs/qmachine.shen in shen-ruby-0.9.0 vs shen/release/test_programs/qmachine.shen in shen-ruby-0.10.0

@@ -32,18 +32,18 @@
   {(progression A) --> (A --> B) --> (B --> C --> C) --> C --> C}
    [X S E] P F Y -> (if (E X) Y (F (P X) (super [(S X) S E] P F Y))))
 
 (define forall
   {(progression A) --> (A --> boolean) --> boolean}
-   Progression P -> (super Progression P and true)) 
+   Progression P -> (super Progression P (function and) true)) 
 
 (define exists
   {(progression A) --> (A --> boolean) --> boolean}
-   Progression P -> (super Progression P or false)) 
+   Progression P -> (super Progression P (function or) false)) 
 
 (define for
   {(progression A) --> (A --> B) --> number}
-   Progression P -> (super Progression P progn 0))
+   Progression P -> (super Progression P (function progn) 0))
 
 (define progn
   {A --> B --> B}
    X Y -> Y)
 
\ No newline at end of file