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