src/HOL/Library/BNF_Axiomatization.thy
changeset 62691 9bfcbab7cd99
parent 60500 903bb1495239
child 69605 a96320074298
     1.1 --- a/src/HOL/Library/BNF_Axiomatization.thy	Tue Mar 22 08:00:33 2016 +0100
     1.2 +++ b/src/HOL/Library/BNF_Axiomatization.thy	Tue Mar 22 12:39:37 2016 +0100
     1.3 @@ -13,6 +13,6 @@
     1.4    "bnf_axiomatization" :: thy_decl
     1.5  begin
     1.6  
     1.7 -ML_file "bnf_axiomatization.ML"
     1.8 +ML_file "../Tools/BNF/bnf_axiomatization.ML"
     1.9  
    1.10  end