tuned;
authorwenzelm
Sun May 13 15:05:31 2018 +0200 (12 months ago)
changeset 68164738071699826
parent 68163 b168f30e541f
child 68165 a7a2174ac014
tuned;
src/Pure/theory.ML
     1.1 --- a/src/Pure/theory.ML	Sun May 13 15:05:21 2018 +0200
     1.2 +++ b/src/Pure/theory.ML	Sun May 13 15:05:31 2018 +0200
     1.3 @@ -157,7 +157,7 @@
     1.4  val axiom_table = #axioms o rep_theory;
     1.5  val axiom_space = Name_Space.space_of_table o axiom_table;
     1.6  
     1.7 -fun axioms_of thy = rev (Name_Space.fold_table cons (axiom_table thy) []);
     1.8 +val axioms_of = Name_Space.dest_table o axiom_table;
     1.9  fun all_axioms_of thy = maps axioms_of (nodes_of thy);
    1.10  
    1.11  val defs_of = #defs o rep_theory;