The Coq mailing list

[dz dz <sophiee_shao AT hotmail.com>]

hello,
i am a newbie with coq.

when I input "Require Import XX" the coqide  show that :User error: cannot 
find XX library in loadpath.  Here XX means some coq file i wrote before, 
it not belongs to the coq libraries.
Is it because I use coq under windows system? I tried put the file I want 
to import under different directories,the command didn't work.

Thank you and Best Wishes,
Ying

_________________________________________________________________
ÓëÁª»úµÄÅóÓѽøÐн»Á÷£¬ÇëʹÓà MSN Messenger:  http://messenger.msn.com/cn