equal
deleted
inserted
replaced
802 Hotel_Example *) |
802 Hotel_Example *) |
803 theories [condition = ISABELLE_GHC] |
803 theories [condition = ISABELLE_GHC] |
804 Quickcheck_Narrowing_Examples |
804 Quickcheck_Narrowing_Examples |
805 |
805 |
806 session "HOL-Quickcheck_Benchmark" in Quickcheck_Benchmark = HOL + |
806 session "HOL-Quickcheck_Benchmark" in Quickcheck_Benchmark = HOL + |
807 theories [condition = ISABELLE_FULL_TEST, timeout = 5400, quick_and_dirty] |
807 theories [condition = ISABELLE_FULL_TEST, quick_and_dirty] |
808 Find_Unused_Assms_Examples |
808 (* Find_Unused_Assms_Examples FIXME *) |
809 Needham_Schroeder_No_Attacker_Example |
809 Needham_Schroeder_No_Attacker_Example |
810 Needham_Schroeder_Guided_Attacker_Example |
810 Needham_Schroeder_Guided_Attacker_Example |
811 Needham_Schroeder_Unguided_Attacker_Example |
811 Needham_Schroeder_Unguided_Attacker_Example |
812 |
812 |
813 session "HOL-Quotient_Examples" in Quotient_Examples = HOL + |
813 session "HOL-Quotient_Examples" in Quotient_Examples = HOL + |