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;
     1 (*  Title:      HOL/Nitpick_Examples/ROOT.ML
     2     Author:     Jasmin Blanchette, TU Muenchen
     3     Copyright   2009
     4 
     5 Nitpick examples.
     6 *)
     7 
     8 Unsynchronized.setmp quick_and_dirty true use_thys ["Nitpick_Examples"];