author | bulwahn |
Sat, 25 Feb 2012 09:07:51 +0100 | |
changeset 46673 | 34e26d5119ef |
parent 46590 | 0a28a5a97d71 |
child 46697 | b07ae33cc459 |
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 RealDef find_unused_assms RComplete 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