src/HOL/ROOT
changeset 50568 ee090b5712f3
parent 50517 8f6c11103820
child 50571 b649e33e4821
equal deleted inserted replaced
50567:768a3fbe4149 50568:ee090b5712f3
   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, quick_and_dirty]
   807   theories [condition = ISABELLE_FULL_TEST, timeout = 5400, quick_and_dirty]
   808     (* Find_Unused_Assms_Examples FIXME *)
   808     Find_Unused_Assms_Examples
   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 +