author | Manuel Eberl <eberlm@in.tum.de> |
Tue, 19 Jan 2016 11:19:25 +0100 | |
changeset 62201 | eca7b38c8ee5 |
parent 51523 | 97b5e8a1291c |
permissions | -rw-r--r-- |
theory Find_Unused_Assms_Examples imports Complex_Main begin section {* Arithmetics *} declare [[quickcheck_finite_types = false]] find_unused_assms Divides find_unused_assms GCD find_unused_assms Real section {* Set Theory *} declare [[quickcheck_finite_types = true]] find_unused_assms Fun find_unused_assms Relation find_unused_assms Set find_unused_assms Wellfounded section {* Datatypes *} find_unused_assms List find_unused_assms Map end