equal
deleted
inserted
replaced
976 theories |
976 theories |
977 Quickcheck_Examples |
977 Quickcheck_Examples |
978 Quickcheck_Lattice_Examples |
978 Quickcheck_Lattice_Examples |
979 Completeness |
979 Completeness |
980 Quickcheck_Interfaces |
980 Quickcheck_Interfaces |
|
981 Quickcheck_Nesting_Example |
981 theories [condition = ISABELLE_GHC] |
982 theories [condition = ISABELLE_GHC] |
982 Hotel_Example |
983 Hotel_Example |
983 Quickcheck_Narrowing_Examples |
984 Quickcheck_Narrowing_Examples |
984 |
985 |
985 session "HOL-Quotient_Examples" in Quotient_Examples = HOL + |
986 session "HOL-Quotient_Examples" in Quotient_Examples = HOL + |