Tue, 27 Oct 2009 09:03:56 +0100 | bulwahn | changes to example file | changeset | files |
Tue, 27 Oct 2009 09:03:56 +0100 | bulwahn | print retrieved specification when printing intermediate results | changeset | files |
Tue, 27 Oct 2009 09:03:56 +0100 | bulwahn | added option show_modes to predicate compiler | changeset | files |
Tue, 27 Oct 2009 09:02:22 +0100 | bulwahn | including the predicate compiler in HOL-Main; added RandomPredicate monad to Quickcheck | changeset | files |
Tue, 27 Oct 2009 18:09:11 +0100 | boehmes | removed unused file smt_builtin.ML, | changeset | files |
Tue, 27 Oct 2009 18:01:50 +0100 | boehmes | included description for sledgehammer options in Mirabelle script | changeset | files |
Tue, 27 Oct 2009 18:00:50 +0100 | boehmes | measure runtime of ATPs only if requested | changeset | files |