equal
deleted
inserted
replaced
363 session "HOL-Nitpick_Examples" in Nitpick_Examples = HOL + |
363 session "HOL-Nitpick_Examples" in Nitpick_Examples = HOL + |
364 description " |
364 description " |
365 Author: Jasmin Blanchette, TU Muenchen |
365 Author: Jasmin Blanchette, TU Muenchen |
366 Copyright 2009 |
366 Copyright 2009 |
367 " |
367 " |
|
368 options [kodkod_scala] |
368 sessions "HOL-Library" |
369 sessions "HOL-Library" |
369 theories [quick_and_dirty] Nitpick_Examples |
370 theories [quick_and_dirty] Nitpick_Examples |
370 |
371 |
371 session "HOL-Algebra" (main timing) in Algebra = "HOL-Computational_Algebra" + |
372 session "HOL-Algebra" (main timing) in Algebra = "HOL-Computational_Algebra" + |
372 description " |
373 description " |