src/HOLCF/ax_ops/thy_ops.ML

 (*  TTITLEF/thy_ops.ML
     ID:         $Id$
     Author:     Tobias Mayr
 
 Additional theory file section for HOLCF: ops 
-There's an elaborate but german description of this program,
-write to [e-mail].
-For a short english description of the new sections
-write to [e-mail]. 
-
-TODO: maybe AST-representation with "op name" instead of _I_...
-
+
+TODO:
+  maybe AST-representation with "op name" instead of _I_...
 *)
 
 signature THY_OPS =
 sig
  (* continuous mixfixes (extension of datatype Mixfix.mixfix) *)

      (* "::" is already a pure keyword *)
 
 val ops_sections = [("ops"    , ops_decls) ];
 
 end; (* the structure ThyOps *)
-