The Coq mailing list

["" <judy AT mail.ccnu.edu.cn>]

Dear Instructors:

Nowadays I want to practise the tactics and I've got only referrence manual 
book,

chapeter 8 is about tactics,but very little examples ,so it is hard to 
understand
how to use these tactics,  where can I get some useful little examples focus 
on
how to use tactics to proove Lemmas. 

and I've also got tutorial book,,and found tactics introduced  in tutuorial 
book
is not enough to use . 

please give some recommendation.

looking forward your help.

yours Judy.