anchor.diff:  ;;  Specware4/Languages/MetaSlang/CodeGen/Lisp/SpecToLisp.sw
   
   (defpackage "SPECCALC")
  +(defpackage "LIST-SPEC")
   (defpackage :SLANG-BUILT-IN)
   (IN-PACKAGE :SLANG-BUILT-IN)
   
  
positive.code: (defun implies-2 (x y) 
    (or (not x) y))
  
  #|
  
   Tests:
  
negative.code: 
  (defun choose-1-1 (f x) 
    (funcall f (quotient-element x)))
  
  (define-compiler-macro choose-1-1 (f x)
    `(funcall ,f (quotient-element ,x)))
  
  #|
    
  