observe usual naming conventions;
authorwenzelm
Mon Nov 02 19:56:06 2009 +0100 (2009-11-02)
changeset 333827d2c6e7f91bd
parent 33381 81269c72321a
child 33383 12d79ece3f7e
child 33396 45c5c3c51918
observe usual naming conventions;
src/Pure/Tools/find_theorems.ML
     1.1 --- a/src/Pure/Tools/find_theorems.ML	Mon Nov 02 16:44:18 2009 +0100
     1.2 +++ b/src/Pure/Tools/find_theorems.ML	Mon Nov 02 19:56:06 2009 +0100
     1.3 @@ -376,9 +376,9 @@
     1.4  
     1.5  fun all_facts_of ctxt =
     1.6    let
     1.7 -    fun visible_facts facttab =
     1.8 -      Facts.dest_static [] facttab
     1.9 -      |> filter_out (Facts.is_concealed facttab o #1)
    1.10 +    fun visible_facts facts =
    1.11 +      Facts.dest_static [] facts
    1.12 +      |> filter_out (Facts.is_concealed facts o #1);
    1.13    in
    1.14      maps Facts.selections
    1.15       (visible_facts (PureThy.facts_of (ProofContext.theory_of ctxt)) @