[isabelle-dev] exception Size raised (line 173 of "./basis/LibrarySupport.sml")

Tobias Nipkow nipkow at in.tum.de
Thu Feb 21 08:04:51 CET 2013


Load attached theory in HOL/IMP. Go to line
done (* exception *)
and you'll see the subject line.

I am on parent: 51188:9b5bf1a9a710 tip

Tobias
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Abs_Int2_ivl2.thy
Type: application/x-extension-thy
Size: 15837 bytes
Desc: not available
URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev/attachments/20130221/531b2ecf/attachment-0001.bin>


More information about the isabelle-dev mailing list