| changeset 40676 | 23904fa13e03 |
| parent 40672 | abd4e7358847 |
| child 43363 | eaf8b7f22d39 |
--- a/src/HOL/Library/Executable_Set.thy Tue Nov 23 23:10:13 2010 +0100 +++ b/src/HOL/Library/Executable_Set.thy Tue Nov 23 23:11:06 2010 +0100 @@ -12,7 +12,7 @@ text {* This is just an ad-hoc hack which will rarely give you what you want. For the moment, whenever you need executable sets, consider using - type @{text fset} from theory @{text Fset}. + type @{text fset} from theory @{text Cset}. *} declare mem_def [code del]