| Thu, 23 Jun 2011 23:05:38 +0200 | wenzelm | clarified EXCEPTIONS [] (cf. Exn.is_interrupt and Runtime.exn_message); | changeset | files |
| Thu, 23 Jun 2011 20:30:48 +0200 | wenzelm | more robust concurrent builds; | changeset | files |
| Thu, 23 Jun 2011 10:08:35 -0700 | huffman | merged | changeset | files |
| Thu, 23 Jun 2011 10:07:16 -0700 | huffman | add countable_datatype method for proving countable class instances | changeset | files |
| Thu, 23 Jun 2011 18:32:13 +0200 | wenzelm | merged; | changeset | files |
| Thu, 23 Jun 2011 09:16:48 -0700 | huffman | instance inat :: number_semiring | changeset | files |
| Thu, 23 Jun 2011 09:04:20 -0700 | huffman | added number_semiring class, plus a few new lemmas; | changeset | files |