| changeset 13653 | ef123b9e8089 |
| parent 12897 | f4d10ad0ea7b |
| child 18413 | 50c0c118e96d |
--- a/src/HOL/Set.ML Thu Oct 17 10:56:00 2002 +0200 +++ b/src/HOL/Set.ML Fri Oct 18 09:53:02 2002 +0200 @@ -161,7 +161,6 @@ val UN_constant = thm "UN_constant"; val UN_empty = thm "UN_empty"; val UN_empty2 = thm "UN_empty2"; -val UN_empty3 = thm "UN_empty3"; val UN_eq = thm "UN_eq"; val UN_iff = thm "UN_iff"; val UN_insert = thm "UN_insert";