===================================================================
RCS file: /home/cvs/OpenXM_contrib2/asir2000/builtin/al.c,v
retrieving revision 1.1
retrieving revision 1.1.1.1
diff -u -p -r1.1 -r1.1.1.1
--- OpenXM_contrib2/asir2000/builtin/al.c	1999/12/03 07:39:07	1.1
+++ OpenXM_contrib2/asir2000/builtin/al.c	1999/12/03 07:39:07	1.1.1.1
@@ -1,6 +1,6 @@
 /* $OpenXM: OpenXM/src/asir99/builtin/al.c,v 1.2 1999/11/18 05:42:01 noro Exp $ */
 /* ----------------------------------------------------------------------
-   $Id: al.c,v 1.1 1999/12/03 07:39:07 noro Exp $
+   $Id: al.c,v 1.1.1.1 1999/12/03 07:39:07 noro Exp $
    ----------------------------------------------------------------------
    File al.c: Real quantifier elimination code for RISA/ASIR