[isabelle-dev] Obsolete numeral experiments?

Makarius makarius at sketis.net
Tue May 28 17:12:42 CEST 2013

On Tue, 28 May 2013, Brian Huffman wrote:

> As for Binary.thy, I believe that all the main ideas there have already 
> been incorporated into the HOL numerals library, so there's no reason 
> not to delete it.

OK, so I will delete just my old experiment Binary.thy.


More information about the isabelle-dev mailing list