equal
deleted
inserted
replaced
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 " |