Re: [isabelle] Warning for partial functions defined with fun?

Dear Tobias,

Le 23/06/11 12:27, Tobias Nipkow a écrit :
Dear Thomas,

The development version does now give you warnings about missing cases
(thanks to your suggestion when you visited).

great! I remember about this discussion but did not imagine that it was already added to Isabelle :-)

Do you know if I can apply a particular changeset to my Isabelle2011 or have to get the full developpement version?

Thanks in advance,

Thomas Genet
Campus de Beaulieu, 35042 Rennes cedex, France
Tél: +33 (0) 2 99 84 73 44   E-mail: genet at

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