changeset 32833 | f3716d1a2e48 |
parent 21262 | a2bd14226f9a |
child 35413 | d8d7d1b785af |
1.1 --- a/doc-src/TutorialI/Sets/Examples.thy Thu Oct 01 18:59:26 2009 +0200 1.2 +++ b/doc-src/TutorialI/Sets/Examples.thy Thu Oct 01 20:04:44 2009 +0200 1.3 @@ -1,7 +1,7 @@ 1.4 (* ID: $Id$ *) 1.5 theory Examples imports Main Binomial begin 1.6 1.7 -ML "reset eta_contract" 1.8 +ML "Unsynchronized.reset eta_contract" 1.9 ML "Pretty.setmargin 64" 1.10 1.11 text{*membership, intersection *}