===================================================================
RCS file: /home/cvs/OpenXM_contrib2/asir2000/builtin/al.c,v
retrieving revision 1.3
retrieving revision 1.4
diff -u -p -r1.3 -r1.4
--- OpenXM_contrib2/asir2000/builtin/al.c	2001/03/09 01:13:28	1.3
+++ OpenXM_contrib2/asir2000/builtin/al.c	2001/03/09 01:14:13	1.4
@@ -1,5 +1,6 @@
+/* $OpenXM$ */
 /* ----------------------------------------------------------------------
-   $Id: al.c,v 1.3 2001/03/09 01:13:28 noro Exp $
+   $Id: al.c,v 1.4 2001/03/09 01:14:13 noro Exp $
    ----------------------------------------------------------------------
    File al.c: Real quantifier elimination code for RISA/ASIR