equal
deleted
inserted
replaced
885 theories |
885 theories |
886 Quickcheck_Examples |
886 Quickcheck_Examples |
887 Quickcheck_Lattice_Examples |
887 Quickcheck_Lattice_Examples |
888 Completeness |
888 Completeness |
889 Quickcheck_Interfaces |
889 Quickcheck_Interfaces |
|
890 theories [condition = ISABELLE_GHC] |
890 Hotel_Example |
891 Hotel_Example |
891 theories [condition = ISABELLE_GHC] |
|
892 Quickcheck_Narrowing_Examples |
892 Quickcheck_Narrowing_Examples |
893 |
893 |
894 session "HOL-Quickcheck_Benchmark" in Quickcheck_Benchmark = HOL + |
894 session "HOL-Quickcheck_Benchmark" in Quickcheck_Benchmark = HOL + |
895 theories [condition = ISABELLE_FULL_TEST, quick_and_dirty] |
895 theories [condition = ISABELLE_FULL_TEST, quick_and_dirty] |
896 Find_Unused_Assms_Examples |
896 Find_Unused_Assms_Examples |