equal
deleted
inserted
replaced
279 Author: Jasmin Blanchette, TU Muenchen |
279 Author: Jasmin Blanchette, TU Muenchen |
280 Copyright 2009 |
280 Copyright 2009 |
281 *} |
281 *} |
282 options [document = false] |
282 options [document = false] |
283 theories [quick_and_dirty] Nitpick_Examples |
283 theories [quick_and_dirty] Nitpick_Examples |
|
284 |
|
285 session "HOL-Nunchaku" in Nunchaku = HOL + |
|
286 description {* |
|
287 Author: Jasmin Blanchette, Inria Nancy, LORIA, MPII |
|
288 Copyright 2015, 2016 |
|
289 |
|
290 Nunchaku: Yet another counterexample generator for Isabelle/HOL. |
|
291 *} |
|
292 options [document = false] |
|
293 theories Nunchaku |
284 |
294 |
285 session "HOL-Algebra" (main timing) in Algebra = HOL + |
295 session "HOL-Algebra" (main timing) in Algebra = HOL + |
286 description {* |
296 description {* |
287 Author: Clemens Ballarin, started 24 September 1999 |
297 Author: Clemens Ballarin, started 24 September 1999 |
288 |
298 |