src/HOL/Quickcheck_Examples/Find_Unused_Assms_Examples.thy
2012-02-27 bulwahn 2012-02-27 removing Find_Unused_Assms_Examples from session as it requires much time
2012-02-25 bulwahn 2012-02-25 adding some more test invocations of find_unused_assms
2012-02-22 bulwahn 2012-02-22 adding some examples with find_unused_assms command