src/HOL/Library/SCT_Implementation.thy
changeset 22665 cf152ff55d16
parent 22371 c9f5895972b0
child 22744 5cbe966d67a2
     1.1 --- a/src/HOL/Library/SCT_Implementation.thy	Fri Apr 13 21:26:34 2007 +0200
     1.2 +++ b/src/HOL/Library/SCT_Implementation.thy	Fri Apr 13 21:26:35 2007 +0200
     1.3 @@ -3,6 +3,8 @@
     1.4      Author:     Alexander Krauss, TU Muenchen
     1.5  *)
     1.6  
     1.7 +header ""
     1.8 +
     1.9  theory SCT_Implementation
    1.10  imports ExecutableSet SCT_Definition
    1.11  begin
    1.12 @@ -119,13 +121,4 @@
    1.13  
    1.14  code_gen test_SCT (SML -)
    1.15  
    1.16 -
    1.17  end
    1.18 -
    1.19 -
    1.20 -
    1.21 -
    1.22 -
    1.23 -
    1.24 -
    1.25 -