changeset 16417 | 9bc16273c2d4 |
parent 15488 | 7c638a46dcbb |
child 16898 | 543ee8fabe1a |
--- a/src/HOL/ex/set.thy Fri Jun 17 11:35:35 2005 +0200 +++ b/src/HOL/ex/set.thy Fri Jun 17 16:12:49 2005 +0200 @@ -6,7 +6,7 @@ header {* Set Theory examples: Cantor's Theorem, Schröder-Berstein Theorem, etc. *} -theory set = Main: +theory set imports Main begin text{* These two are cited in Benzmueller and Kohlhase's system description