src/HOL/Nitpick_Examples/ROOT.ML
author nipkow
Mon Jan 30 21:49:41 2012 +0100 (2012-01-30)
changeset 46372 6fa9cdb8b850
parent 39616 8052101883c3
permissions -rw-r--r--
added "'a rel"
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"];