src/HOL/Library/Transitive_Closure_Table.thy
changeset 43973 a907e541b127
parent 37589 9c33d02656bc
child 44890 22f665a2e91c
     1.1 --- a/src/HOL/Library/Transitive_Closure_Table.thy	Mon Jul 25 23:27:20 2011 +0200
     1.2 +++ b/src/HOL/Library/Transitive_Closure_Table.thy	Tue Jul 26 08:07:00 2011 +0200
     1.3 @@ -201,7 +201,9 @@
     1.4  | "test B A"
     1.5  | "test B C"
     1.6  
     1.7 -subsubsection {* Invoking with the SML code generator *}
     1.8 +subsubsection {* Invoking with the (legacy) SML code generator *}
     1.9 +
    1.10 +text {* this test can be removed once the SML code generator is deactivated *}
    1.11  
    1.12  code_module Test
    1.13  contains