src/HOL/Nitpick_Examples/ROOT.ML
author bulwahn
Tue, 05 Apr 2011 09:38:23 +0200
changeset 42230 594480d25aaa
parent 39616 8052101883c3
permissions -rw-r--r--
deriving bounded_forall instances in quickcheck_exhaustive

(*  Title:      HOL/Nitpick_Examples/ROOT.ML
    Author:     Jasmin Blanchette, TU Muenchen
    Copyright   2009

Nitpick examples.
*)

Unsynchronized.setmp quick_and_dirty true use_thys ["Nitpick_Examples"];