| changeset 46955 | 7bd0780c0bd3 |
| parent 46953 | 2b6e55924af3 |
| parent 46950 | d0181abdbdac |
| child 48891 | c0eafbd55de3 |
--- a/src/ZF/upair.thy Thu Mar 15 17:38:05 2012 +0000 +++ b/src/ZF/upair.thy Thu Mar 15 22:21:28 2012 +0100 @@ -11,8 +11,11 @@ header{*Unordered Pairs*} -theory upair imports ZF -uses "Tools/typechk.ML" begin +theory upair +imports ZF +keywords "print_tcset" :: diag +uses "Tools/typechk.ML" +begin setup TypeCheck.setup