src/HOL/Nitpick_Examples/ROOT.ML
author wenzelm
Wed Sep 22 18:21:48 2010 +0200 (2010-09-22)
changeset 39616 8052101883c3
parent 37495 650fae5eea93
permissions -rw-r--r--
renamed setmp_noncritical to Unsynchronized.setmp to emphasize its meaning;
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"];