changeset 22375 | 823f7bee42df |
parent 22371 | c9f5895972b0 |
child 22665 | cf152ff55d16 |
--- a/src/HOL/Library/Size_Change_Termination.thy Wed Feb 28 14:46:21 2007 +0100 +++ b/src/HOL/Library/Size_Change_Termination.thy Wed Feb 28 16:35:00 2007 +0100 @@ -5,7 +5,7 @@ theory Size_Change_Termination imports SCT_Theorem SCT_Interpretation SCT_Implementation -uses "size_change_termination.ML" +uses "sct.ML" begin section {* Simplifier setup *}