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