changeset 20520 | 05fd007bdeb9 |
parent 20491 | 98ba42f19995 |
child 21148 | 3a64d58a9f49 |
1.1 --- a/doc-src/IsarImplementation/Thy/ML.thy Tue Sep 12 17:23:34 2006 +0200 1.2 +++ b/doc-src/IsarImplementation/Thy/ML.thy Tue Sep 12 17:45:58 2006 +0200 1.3 @@ -13,7 +13,7 @@ 1.4 1.5 chapter {* Basic library functions *} 1.6 1.7 -text {* FIXME beyond the basis library definition *} 1.8 +text {* FIXME beyond the NJ basis library proposal *} 1.9 1.10 1.11 chapter {* Cookbook *}