[isabelle-dev] Evaluation of floor and ceiling

Lawrence Paulson lp15 at cam.ac.uk
Fri Jul 8 10:40:13 CEST 2011

Is there any real cost to having so many type classes?

On 8 Jul 2011, at 02:13, Brian Huffman wrote:

> The drawback to this design is that it requires yet another type
> class, of which we have plenty already.

More information about the isabelle-dev mailing list