src/Pure/Pure.thy
changeset 57415 e721124f1b1e
parent 56864 0446c7ac2e32
child 57442 2373b4c61111
     1.1 --- a/src/Pure/Pure.thy	Fri Jun 27 15:41:26 2014 +0200
     1.2 +++ b/src/Pure/Pure.thy	Fri Jun 27 16:04:56 2014 +0200
     1.3 @@ -85,10 +85,9 @@
     1.4      "print_interps" "print_dependencies" "print_attributes"
     1.5      "print_simpset" "print_rules" "print_trans_rules" "print_methods"
     1.6      "print_antiquotations" "print_ML_antiquotations" "thy_deps"
     1.7 -    "locale_deps" "class_deps" "thm_deps" "print_binds" "print_facts"
     1.8 -    "print_cases" "print_statement" "thm" "prf" "full_prf" "prop"
     1.9 -    "term" "typ" "print_codesetup" "unused_thms"
    1.10 -    :: diag
    1.11 +    "locale_deps" "class_deps" "thm_deps" "print_binds" "print_term_bindings"
    1.12 +    "print_facts" "print_cases" "print_statement" "thm" "prf" "full_prf"
    1.13 +    "prop" "term" "typ" "print_codesetup" "unused_thms" :: diag
    1.14    and "cd" :: control
    1.15    and "pwd" :: diag
    1.16    and "use_thy" "remove_thy" "kill_thy" :: control