1.1 --- a/src/Tools/code/code_thingol.ML	Thu Oct 04 19:41:50 2007 +0200
     1.2 +++ b/src/Tools/code/code_thingol.ML	Thu Oct 04 19:41:51 2007 +0200
     1.3 @@ -64,8 +64,8 @@
     1.4      | Datatype of (vname * sort) list * (string * itype list) list
     1.5      | Datatypecons of string
     1.6      | Class of vname * ((class * string) list * (string * itype) list)
     1.7 -    | Classop of class
     1.8      | Classrel of class * class
     1.9 +    | Classparam of class
    1.10      | Classinst of (class * (string * (vname * sort) list))
    1.11            * ((class * (string * (string * dict list list))) list
    1.12          * ((string * const) * thm) list);
    1.13 @@ -135,12 +135,12 @@
    1.14      class names             class
    1.15      type constructor names  tyco
    1.16      datatype names          dtco
    1.17 -    const names (general)   c
    1.18 +    const names (general)   c (const)
    1.19      constructor names       co
    1.20 -    class operation names   clsop (op)
    1.21 +    class parameter names   classparam
    1.22      arbitrary name          s
    1.23  
    1.24 -    v, c, co, clsop also annotated with types etc.
    1.25 +    v, c, co, classparam also annotated with types etc.
    1.26  
    1.27    constructs:
    1.28      sort                    sort
    1.29 @@ -251,8 +251,8 @@
    1.30    | Datatype of (vname * sort) list * (string * itype list) list
    1.31    | Datatypecons of string
    1.32    | Class of vname * ((class * string) list * (string * itype) list)
    1.33 -  | Classop of class
    1.34    | Classrel of class * class
    1.35 +  | Classparam of class
    1.36    | Classinst of (class * (string * (vname * sort) list))
    1.37          * ((class * (string * (string * dict list list))) list
    1.38        * ((string * const) * thm) list);