build open-axiom
#!/projects/77750c71-ec7b-4962-bf55-a49ff5065fb6/open-axiom-build/src/interp/interpsys --script # FASL compiled from "/tmp/oa-h5IcQ9/code.lsp" using SBCL version 1.2.14.debian � X86-64N 1.2.14.debian2 (:GENCGC :SB-PACKAGE-LOCKS :SB-THREAD :SB-UNICODE)�S B - C � % P R O C L A I M PF T Y P E PF U N C T I O N � A x i o m C o r e �% T h i n g �% S h e l l �B O O T � A B E L G R P - ; - ; 3 $ ; 1 # # �/ t m p / o a - h 5 I c Q 9 / c o d e . l s p o 0 8� A B E L G R P - ; s u b t r a c t I f C a n ; 2 $ M ; 2 # # 0 8�% I n t e g e r S e c t i o n # � A B E L G R P - ; * ; N n i 2 $ ; 3 # # 0 8�% I n t e g e r � A B E L G R P - ; * ; I 2 $ ; 4 # # 0 8�% B o o l e a n � A B E L G R P - ; o p p o s i t e ? ; 2 $ B ; 5 # # 0 8�S B - I M P L �$% D E F U N >&