The Coq mailing list

[Crist�bal Camarero Coterillo<cristobal.camarero AT alumnos.unican.es>]

Dear coq-club.

I have just realised that in the section "4.3 Conversion rules" has appeared 
the
new rule Prop<=Set which isn't at least in manual version V8.2-bugfix.

Someone knows if it has been a change of the theory or only a fix of the 
manual?

Many Thanks,


--Cristóbal Camarero Coterillo

Universidad de Cantabria
Facultad de Ciencias
Grupo de Arquitectura y Tecnología de Computadores (ATC)
Despacho: 0101
Teléfono: 942 206772
http://www.alumnos.unican.es/ccc66
cristobal.camarero AT unican.es
cristobal.camarero AT alumnos.unican.es
nakacristo AT hotmail.com