equal
deleted
inserted
replaced
2004 Scan.succeed (K (SIMPLE_METHOD' |
2004 Scan.succeed (K (SIMPLE_METHOD' |
2005 (CHANGED_PROP o (CONVERSION Nbe.dynamic_eval_conv THEN' (fn k => TRY (rtac TrueI k)))))) |
2005 (CHANGED_PROP o (CONVERSION Nbe.dynamic_eval_conv THEN' (fn k => TRY (rtac TrueI k)))))) |
2006 *} "solve goal by normalization" |
2006 *} "solve goal by normalization" |
2007 |
2007 |
2008 |
2008 |
|
2009 subsection {* Try *} |
|
2010 |
|
2011 setup {* Try.setup *} |
|
2012 |
2009 subsection {* Counterexample Search Units *} |
2013 subsection {* Counterexample Search Units *} |
2010 |
2014 |
2011 subsubsection {* Quickcheck *} |
2015 subsubsection {* Quickcheck *} |
2012 |
2016 |
2013 quickcheck_params [size = 5, iterations = 50] |
2017 quickcheck_params [size = 5, iterations = 50] |