--- a/src/HOL/Nitpick_Examples/Mono_Nits.thy Tue Sep 14 12:52:50 2010 +0200
+++ b/src/HOL/Nitpick_Examples/Mono_Nits.thy Tue Sep 14 13:24:18 2010 +0200
@@ -21,8 +21,8 @@
{thy = @{theory}, ctxt = @{context}, max_bisim_depth = ~1, boxes = [],
stds = [(NONE, true)], wfs = [], user_axioms = NONE, debug = false,
whacks = [], binary_ints = SOME false, destroy_constrs = false,
- specialize = false, star_linear_preds = false, fast_descrs = false,
- tac_timeout = NONE, evals = [], case_names = [], def_table = def_table,
+ specialize = false, star_linear_preds = false, tac_timeout = NONE,
+ evals = [], case_names = [], def_table = def_table,
nondef_table = Symtab.empty, user_nondefs = [],
simp_table = Unsynchronized.ref Symtab.empty, psimp_table = Symtab.empty,
choice_spec_table = Symtab.empty, intro_table = Symtab.empty,