Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOLCF/IOA/meta_theory/ioa_package.ML
changeset 31738 7b9b9ba532ca
parent 30918 21ce52733a4d 
--- a/src/HOLCF/IOA/meta_theory/ioa_package.ML	Sun Jun 21 08:38:58 2009 +0200
+++ b/src/HOLCF/IOA/meta_theory/ioa_package.ML	Sun Jun 21 08:38:58 2009 +0200
@@ -1,9 +1,8 @@
-(*  Title:      HOLCF/IOA/meta_theory/ioa_package.ML
-    ID:         $Id$
+(*  Title:      HOLCF/IOA/meta_theory/ioa.ML
     Author:     Tobias Hamberger, TU Muenchen
 *)
 
-signature IOA_PACKAGE =
+signature IOA =
 sig
   val add_ioa: string -> string
     -> (string) list -> (string) list -> (string) list
@@ -16,7 +15,7 @@
   val add_rename : string -> string -> string -> theory -> theory
 end;
 
-structure IoaPackage: IOA_PACKAGE =
+structure Ioa: IOA =
 struct
 
 val string_of_typ = PrintMode.setmp [] o Syntax.string_of_typ_global;
isabelle