src/HOL/Quickcheck_Examples/ROOT.ML
author huffman
Sun Apr 01 16:09:58 2012 +0200 (2012-04-01)
changeset 47255 30a1692557b0
parent 47205 34e8b7347dda
child 48179 18461f745b4a
permissions -rw-r--r--
removed Nat_Numeral.thy, moving all theorems elsewhere
     1 use_thys [
     2   "Find_Unused_Assms_Examples",
     3   "Quickcheck_Examples",
     4   "Quickcheck_Lattice_Examples",
     5   "Completeness"
     6 ];
     7 
     8 if getenv "ISABELLE_GHC" = "" then ()
     9 else use_thy "Quickcheck_Narrowing_Examples";
    10