| Tue, 23 Nov 2010 14:14:17 +0100 | hoelzl | Move some missing lemmas from Andrei Popescus 'Ordinals and Cardinals' AFP entry to the HOL-image. | changeset | files |
| Mon, 22 Nov 2010 10:34:33 +0100 | hoelzl | Replace surj by abbreviation; remove surj_on. | changeset | files |
| Fri, 26 Nov 2010 09:15:49 +0100 | blanchet | adjust Sledgehammer/SMT fudge factor | changeset | files |
| Thu, 25 Nov 2010 16:12:23 +0100 | wenzelm | clarified Par_List.managed_results, with explicit propagation of outermost physical interrupt to forked futures (e.g. to make timeout apply here as expected and prevent zombies); | changeset | files |
| Thu, 25 Nov 2010 14:59:01 +0100 | blanchet | merge | changeset | files |
| Thu, 25 Nov 2010 14:58:50 +0100 | blanchet | cosmetics | changeset | files |
| Thu, 25 Nov 2010 14:58:20 +0100 | blanchet | eta-reduce on the fly to prevent an exception | changeset | files |
| Thu, 25 Nov 2010 14:36:51 +0100 | nipkow | merged | changeset | files |