| author | wenzelm |
| Thu, 27 Sep 2012 15:38:28 +0200 | |
| changeset 49612 | e6a53d203362 |
| parent 48490 | 1959baa22632 |
| child 51521 | 36fa825e0ea7 |
| 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