src/HOL/Library/Library.thy
changeset 22359 94a794672c8b
parent 21635 32f3e1127de2
child 22519 eb70ed79dac7
     1.1 --- a/src/HOL/Library/Library.thy	Mon Feb 26 20:14:52 2007 +0100
     1.2 +++ b/src/HOL/Library/Library.thy	Mon Feb 26 21:34:16 2007 +0100
     1.3 @@ -27,6 +27,7 @@
     1.4    Quotient
     1.5    Ramsey
     1.6    State_Monad
     1.7 +  Size_Change_Termination
     1.8    While_Combinator
     1.9    Word
    1.10    Zorn