equal
deleted
inserted
replaced
882 |
882 |
883 session "HOL-Quickcheck_Examples" in Quickcheck_Examples = HOL + |
883 session "HOL-Quickcheck_Examples" in Quickcheck_Examples = HOL + |
884 options [document = false] |
884 options [document = false] |
885 theories |
885 theories |
886 Quickcheck_Examples |
886 Quickcheck_Examples |
887 (* FIXME |
|
888 Quickcheck_Lattice_Examples |
887 Quickcheck_Lattice_Examples |
889 Completeness |
888 Completeness |
890 Quickcheck_Interfaces |
889 Quickcheck_Interfaces |
891 Hotel_Example *) |
890 Hotel_Example |
892 theories [condition = ISABELLE_GHC] |
891 theories [condition = ISABELLE_GHC] |
893 Quickcheck_Narrowing_Examples |
892 Quickcheck_Narrowing_Examples |
894 |
893 |
895 session "HOL-Quickcheck_Benchmark" in Quickcheck_Benchmark = HOL + |
894 session "HOL-Quickcheck_Benchmark" in Quickcheck_Benchmark = HOL + |
896 theories [condition = ISABELLE_FULL_TEST, quick_and_dirty] |
895 theories [condition = ISABELLE_FULL_TEST, quick_and_dirty] |