Re: [isabelle] Warning for partial functions defined with fun?
Le 23/06/11 12:27, Tobias Nipkow a écrit :
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,
Campus de Beaulieu, 35042 Rennes cedex, France
Tél: +33 (0) 2 99 84 73 44 E-mail: genet at irisa.fr
This archive was generated by a fusion of
Pipermail (Mailman edition) and