changeset 53808 | b3e2022530e3 |
parent 53682 | 1b55aeda0e46 |
child 53935 | 59c6dbdf0a38 |
--- a/src/HOL/ROOT Mon Sep 23 23:27:46 2013 +0200 +++ b/src/HOL/ROOT Tue Sep 24 00:01:10 2013 +0200 @@ -239,7 +239,7 @@ Trans_Closure Sets -session "HOL-Nitpick_Examples" in Nitpick_Examples = HOL + +session "HOL-BNF-Nitpick_Examples" in Nitpick_Examples = "HOL-BNF" + description {* Author: Jasmin Blanchette, TU Muenchen Copyright 2009