src/HOL/Library/Library.thy
changeset 25315 6ff4305d2f7c
parent 24994 c385c4eabb3b
child 25899 f344ff9e2041
     1.1 --- a/src/HOL/Library/Library.thy	Tue Nov 06 17:44:53 2007 +0100
     1.2 +++ b/src/HOL/Library/Library.thy	Tue Nov 06 20:27:33 2007 +0100
     1.3 @@ -35,7 +35,6 @@
     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