src/Pure/Isar/attrib.ML
changeset 24713 8b3b6d09ef40
parent 24238 ae70f95e31de
child 24723 2110df1e157d
     1.1 --- a/src/Pure/Isar/attrib.ML	Tue Sep 25 17:06:14 2007 +0200
     1.2 +++ b/src/Pure/Isar/attrib.ML	Tue Sep 25 17:06:18 2007 +0200
     1.3 @@ -201,13 +201,13 @@
     1.4  (* naming *)
     1.5  
     1.6  structure Configs = TheoryDataFun
     1.7 -(struct
     1.8 +(
     1.9    type T = Config.value Config.T Symtab.table;
    1.10    val empty = Symtab.empty;
    1.11    val copy = I;
    1.12    val extend = I;
    1.13    fun merge _ = Symtab.merge (K true);
    1.14 -end);
    1.15 +);
    1.16  
    1.17  fun print_configs ctxt =
    1.18    let