The Coq mailing list

[Jim Burton <jim AT sdf-eu.org>]

Hi, I'm a beginner working through "Coq In a Hurry". In the section on proof
by induction ring_nat is used but I get:

Error: The reference ring_nat was not found in the current environment

I have tried importing various likely sounding packages to no avail -- which
do I need? More importantly, how to find this information myself next time?

Many thanks,

Jim Burton
-- 
View this message in context: 
http://www.nabble.com/how-to-make-ring_nat-available-tp20110972p20110972.html
Sent from the Coq mailing list archive at Nabble.com.