--* From DOOLEY%WATSON.vnet.ibm.com@yktvmv.watson.ibm.com  Thu Oct 14 11:18:27 1993
--* Received: from yktvmv2.watson.ibm.com by radical.watson.ibm.com (AIX 3.2/UCB 5.64/900524)
--*           id AA15119; Thu, 14 Oct 1993 11:18:27 -0400
--* X-External-Networks: yes
--* Received: from watson.vnet.ibm.com by yktvmv.watson.ibm.com (IBM VM SMTP V2R3)
--*    with BSMTP id 2407; Thu, 14 Oct 93 11:25:07 EDT
--* Received: from YKTVMV by watson.vnet.ibm.com with "VAGENT.V1.0"
--*           id <A.DOOLEY.NOTE.VAGENT2.8125.Oct.14.11:25:06.-0400>
--*           for asbugs@watson; Thu, 14 Oct 93 11:25:07 -0400
--* Received: from YKTVMV by watson.vnet.ibm.com with "VAGENT.V1.0"
--*           id 8121; Thu, 14 Oct 1993 11:25:05 EDT
--* Received: from matteo.watson.ibm.com by yktvmv.watson.ibm.com (IBM VM SMTP V2R3)
--*    with TCP; Thu, 14 Oct 93 11:25:04 EDT
--* Received: by matteo.watson.ibm.com (AIX 3.2/UCB 5.64/920123)
--*           id AA18519; Thu, 14 Oct 1993 11:26:02 -0400
--* Date: Thu, 14 Oct 1993 11:26:02 -0400
--* From: dooley@matteo.watson.ibm.com (Sam Dooley)
--* Message-Id: <9310141526.AA18519@matteo.watson.ibm.com>
--* To: asbugs@watson.ibm.com
--* Subject: Bad lex reference (use -W check) [fix449.asa][v31.3]

--@ Fixed  by:  PAB   Thu Oct 14 21:53:17 1993 
--@ Tested by:  catdef0.as 
--@ Summary:    missing padding in genfoam 


(|Sequence|
  (Import () langlib)
;; compile with -llanglib=lang.aso
;;-----------------------start of axiom world ----------------------

    (|Export| (|Declare| |Boolean| (|Apply| -> (|Comma|) |Type|)) ())

    (|Define|
        (|Declare| |SetCategory| (|Apply| -> (|Comma|) |Category|))
        (|Lambda| (|Comma|) |Category|
            (|Label| |SetCategory|
                     (|With| (|Apply| |Object|)
                             (|Sequence|
                                 (|Declare| =
                                     (|Apply| -> (|Comma| % %)
                                      (|Apply| |Boolean|))))))))

    (|Define| (|Declare| |Object| (|Apply| -> (|Comma|) |Category|))
        (|Lambda| (|Comma|) |Category|
            (|Label| |Object|
                     (|With| () (|Sequence| |nothing|)))))



     (|Define| (|Declare| |nothing| |Category|) (|With| () ()))

)