| Tue, 14 Feb 2012 18:58:33 +0100 | blanchet | better error message | changeset | files |
| Tue, 14 Feb 2012 17:59:10 +0100 | bulwahn | removing debug code in mutabelle | changeset | files |
| Tue, 14 Feb 2012 17:58:51 +0100 | bulwahn | adding abort_potential functionality in quickcheck | changeset | files |
| Tue, 14 Feb 2012 17:29:53 +0100 | bulwahn | adding abort_potential configuration in Quickcheck | changeset | files |
| Tue, 14 Feb 2012 22:27:33 +0100 | wenzelm | clarified bires_inst_tac: retain internal exceptions; | changeset | files |
| Tue, 14 Feb 2012 22:22:01 +0100 | wenzelm | tuned signature; | changeset | files |
| Tue, 14 Feb 2012 21:59:10 +0100 | wenzelm | more conventional tactic setup -- avoid low-level Thm.dest_state and spurious warnings about it; | changeset | files |