src/Pure/Isar/proof_context.ML
changeset 15624 484178635bd8
parent 15596 8665d08085df
child 15696 1da4ce092c0b
     1.1 --- a/src/Pure/Isar/proof_context.ML	Thu Mar 24 16:36:40 2005 +0100
     1.2 +++ b/src/Pure/Isar/proof_context.ML	Thu Mar 24 17:03:37 2005 +0100
     1.3 @@ -199,8 +199,8 @@
     1.4        sort Vartab.table *                                     (*default sorts*)
     1.5        string list *                                           (*used type variables*)
     1.6        term list Symtab.table,
     1.7 -      delta: Object.T Symtab.table (* difference between local and global claset and simpset*),
     1.8 -      delta_count: int ref (* number of local anonymous thms *)
     1.9 +    delta: Object.T Symtab.table (* difference between local and global claset and simpset*),
    1.10 +    delta_count: int ref (* number of local anonymous thms *)
    1.11  };                                (*type variable occurrences*)
    1.12  
    1.13  exception CONTEXT of string * context;