# HG changeset patch
# User huffman
# Date 1117843907 -7200
# Node ID 77cae9c8e73ea01d71c93034d452ba0eb6e6351e
# Parent  9b5b0c92230aec9d16569e17d0d3aec5f44200f0
use fixrec_package.ML

diff -r 9b5b0c92230a -r 77cae9c8e73e src/HOLCF/Fixrec.thy
--- a/src/HOLCF/Fixrec.thy	Sat Jun 04 02:11:20 2005 +0200
+++ b/src/HOLCF/Fixrec.thy	Sat Jun 04 02:11:47 2005 +0200
@@ -7,7 +7,7 @@
 
 theory Fixrec
 imports Ssum One Up Fix
-(* files ("fixrec_package.ML") *)
+files ("fixrec_package.ML")
 begin
 
 subsection {* Maybe monad type *}
@@ -137,6 +137,6 @@
 
 subsection {* Intitializing the fixrec package *}
 
-(* use "fixrec_package.ML" *)
+use "fixrec_package.ML"
 
 end