# HG changeset patch
# User mengj
# Date 1159619392 -7200
# Node ID d51711512d0729b1b47cf830d5e737e9d39059f4
# Parent  406d990006affcfdf00321ecb4dc10756202a8f7
Reordered how files are loaded.

diff -r 406d990006af -r d51711512d07 src/HOL/Reconstruction.thy
--- a/src/HOL/Reconstruction.thy	Fri Sep 29 22:47:51 2006 +0200
+++ b/src/HOL/Reconstruction.thy	Sat Sep 30 14:29:52 2006 +0200
@@ -54,8 +54,8 @@
 lemma equal_imp_fequal: "X=Y ==> fequal X Y"
   by (simp add: fequal_def)
 
+use "Tools/res_axioms.ML"
 use "Tools/res_hol_clause.ML"
-use "Tools/res_axioms.ML"
 use "Tools/res_atp.ML"
 use "Tools/reconstruction.ML"