src/HOL/ROOT
changeset 50149 aaf276a28551
parent 50138 ca989d793b34
child 50161 4fc4237488ab
equal deleted inserted replaced
50147:8d2251b9a200 50149:aaf276a28551
   791 session "HOL-Mutabelle" in Mutabelle = HOL +
   791 session "HOL-Mutabelle" in Mutabelle = HOL +
   792   options [document = false]
   792   options [document = false]
   793   theories MutabelleExtra
   793   theories MutabelleExtra
   794 
   794 
   795 session "HOL-Quickcheck_Examples" in Quickcheck_Examples = HOL +
   795 session "HOL-Quickcheck_Examples" in Quickcheck_Examples = HOL +
   796   options [timeout = 3600, document = false]
   796   options [timeout = 5400, document = false]
   797   theories
   797   theories
   798     Quickcheck_Examples
   798     Quickcheck_Examples
   799   (* FIXME
   799   (* FIXME
   800     Quickcheck_Lattice_Examples
   800     Quickcheck_Lattice_Examples
   801     Completeness
   801     Completeness