===================================================================
RCS file: /home/cvs/OpenXM/src/kan96xx/Doc/ecart.sm1,v
retrieving revision 1.29
retrieving revision 1.30
diff -u -p -r1.29 -r1.30
--- OpenXM/src/kan96xx/Doc/ecart.sm1	2004/05/28 08:11:31	1.29
+++ OpenXM/src/kan96xx/Doc/ecart.sm1	2004/07/29 08:13:42	1.30
@@ -1,5 +1,6 @@
-% $OpenXM: OpenXM/src/kan96xx/Doc/ecart.sm1,v 1.28 2004/05/27 11:13:49 takayama Exp $ 
-%[(parse) (hol.sm1) pushfile] extension
+% $OpenXM: OpenXM/src/kan96xx/Doc/ecart.sm1,v 1.29 2004/05/28 08:11:31 takayama Exp $ 
+(hol_loaded) boundp { }
+{ [(parse) (hol.sm1) pushfile] extension } ifelse
 %[(parse) (appell.sm1) pushfile] extension
 
 (ecart.sm1 : ecart division for D, 2003/07/25 ) message-quiet
@@ -1872,3 +1873,4 @@
 
 ( ) message-quiet 
 
+/ecart_loaded 1 def
\ No newline at end of file