src/HOL/ROOT
changeset 72993 6ead333e450d
parent 72986 d231d71d27b4
child 73108 981a383610df
equal deleted inserted replaced
72992:bcba32fd89de 72993:6ead333e450d
   375 session "HOL-Nitpick_Examples" in Nitpick_Examples = HOL +
   375 session "HOL-Nitpick_Examples" in Nitpick_Examples = HOL +
   376   description "
   376   description "
   377     Author:     Jasmin Blanchette, TU Muenchen
   377     Author:     Jasmin Blanchette, TU Muenchen
   378     Copyright   2009
   378     Copyright   2009
   379   "
   379   "
       
   380   options [kodkod_scala]
   380   sessions "HOL-Library"
   381   sessions "HOL-Library"
   381   theories [quick_and_dirty] Nitpick_Examples
   382   theories [quick_and_dirty] Nitpick_Examples
   382 
   383 
   383 session "HOL-Algebra" (main timing) in Algebra = "HOL-Computational_Algebra" +
   384 session "HOL-Algebra" (main timing) in Algebra = "HOL-Computational_Algebra" +
   384   description "
   385   description "