| Wed, 15 Dec 2010 19:41:24 +0100 | blanchet | make sure errors generated in a thread don't vanish in cyberspace (e.g., when invoking Sledgehammer with unknown facts) | changeset | files |
| Wed, 15 Dec 2010 18:45:14 +0100 | bulwahn | merged | changeset | files |
| Wed, 15 Dec 2010 17:46:46 +0100 | bulwahn | adding postprocessing for maps in term construction of quickcheck; fixed check_all_option definition | changeset | files |
| Wed, 15 Dec 2010 17:46:46 +0100 | bulwahn | added enum_term_of to correct present nested functions | changeset | files |