src/Pure/axclass.ML
changeset 22846 fb79144af9a3
parent 22745 17bc6af2011e
child 23421 c9007fc4a646
     1.1 --- a/src/Pure/axclass.ML	Sun May 06 21:50:17 2007 +0200
     1.2 +++ b/src/Pure/axclass.ML	Mon May 07 00:49:59 2007 +0200
     1.3 @@ -95,18 +95,14 @@
     1.4  (* setup data *)
     1.5  
     1.6  structure AxClassData = TheoryDataFun
     1.7 -(struct
     1.8 -  val name = "Pure/axclass";
     1.9 +(
    1.10    type T = axclasses * instances;
    1.11 -  val empty : T = ((Symtab.empty, []), ([], Symtab.empty));
    1.12 +  val empty = ((Symtab.empty, []), ([], Symtab.empty));
    1.13    val copy = I;
    1.14    val extend = I;
    1.15    fun merge pp ((axclasses1, instances1), (axclasses2, instances2)) =
    1.16      (merge_axclasses pp (axclasses1, axclasses2), (merge_instances (instances1, instances2)));
    1.17 -  fun print _ _ = ();
    1.18 -end);
    1.19 -
    1.20 -val _ = Context.add_setup AxClassData.init;
    1.21 +);
    1.22  
    1.23  
    1.24  (* maintain axclasses *)