From 5687e549faf2a00133c91dd21b48d876e0e2c449 Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Sat, 11 Oct 2008 21:16:28 +0000
Subject: Update algebra bootstrap cache.

---
 src/algebra/strap/ABELGRP-.lsp | 13 +++++++++++++
 1 file changed, 13 insertions(+)

(limited to 'src/algebra/strap/ABELGRP-.lsp')

diff --git a/src/algebra/strap/ABELGRP-.lsp b/src/algebra/strap/ABELGRP-.lsp
index 04d5e41c..2fdeec9b 100644
--- a/src/algebra/strap/ABELGRP-.lsp
+++ b/src/algebra/strap/ABELGRP-.lsp
@@ -1,6 +1,19 @@
 
 (/VERSIONCHECK 2) 
 
+(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Thing| |%Shell|) |%Thing|)
+                |ABELGRP-;-;3S;1|)) 
+
+(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Thing| |%Shell|) |%Pair|)
+                |ABELGRP-;subtractIfCan;2SU;2|)) 
+
+(DECLAIM (FTYPE (FUNCTION ((|%IntegerSection| 0) |%Thing| |%Shell|)
+                    |%Thing|)
+                |ABELGRP-;*;Nni2S;3|)) 
+
+(DECLAIM (FTYPE (FUNCTION (|%Integer| |%Thing| |%Shell|) |%Thing|)
+                |ABELGRP-;*;I2S;4|)) 
+
 (DEFUN |ABELGRP-;-;3S;1| (|x| |y| $)
   (SPADCALL |x| (SPADCALL |y| (|getShellEntry| $ 7))
       (|getShellEntry| $ 8))) 
-- 
cgit v1.2.3