===================================================================
RCS file: /home/cvs/OpenXM/src/k097/hol.k,v
retrieving revision 1.1
retrieving revision 1.2
diff -u -p -r1.1 -r1.2
--- OpenXM/src/k097/hol.k	1999/10/08 02:12:15	1.1
+++ OpenXM/src/k097/hol.k	2000/01/21 03:01:25	1.2
@@ -1,3 +1,4 @@
+/* $OpenXM$ */
 /* hol.k,  1998, 12/14 */
 /* packages for holonomic systems. */
 sm1("[(chattr) 0 /npower ] extension ");