src/HOL/Nitpick_Examples/ROOT.ML
author hoelzl
Tue Jan 18 21:37:23 2011 +0100 (2011-01-18)
changeset 41654 32fe42892983
parent 39616 8052101883c3
permissions -rw-r--r--
Gauge measure removed
blanchet@33197
     1
(*  Title:      HOL/Nitpick_Examples/ROOT.ML
blanchet@33197
     2
    Author:     Jasmin Blanchette, TU Muenchen
blanchet@33197
     3
    Copyright   2009
blanchet@33197
     4
blanchet@33197
     5
Nitpick examples.
blanchet@33197
     6
*)
blanchet@33197
     7
wenzelm@39616
     8
Unsynchronized.setmp quick_and_dirty true use_thys ["Nitpick_Examples"];