Re: [isabelle] unknow theorem



Thanks Amine

Strange. When i write
thm mult_mono
Which Version are you using?

I was using the 2003 version.

Francisco

-- Francisco José Cháves (ENS-LIP)
mailto: Francisco.Jose.Chaves.Alonso at ens-lyon.fr
http://perso.ens-lyon.fr/francisco.jose.chaves.alonso
ENS de Lyon - 46, allee d'Italie - 69364 Lyon Cedex 07 - FRANCE
Phone: (+33) 4 72 72 84 36






This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.