changeset 15653 | 3549ff7158f3 |
parent 15645 | 5e20c54683d3 |
child 15678 | 28cc2314c7ff |
--- a/src/HOL/Reconstruction.thy Mon Apr 04 18:39:45 2005 +0200 +++ b/src/HOL/Reconstruction.thy Mon Apr 04 18:43:18 2005 +0200 @@ -13,6 +13,7 @@ "Tools/res_skolem_function.ML" "Tools/res_axioms.ML" "Tools/res_types_sorts.ML" + "Tools/reconstruction.ML" begin @@ -21,4 +22,4 @@ setup Reconstruction.setup -end \ No newline at end of file +end