src/Pure/Isar/instance.ML
changeset 24713 8b3b6d09ef40
parent 24592 dfea1edbf711
child 24848 5dbbd33c3236
     1.1 --- a/src/Pure/Isar/instance.ML	Tue Sep 25 17:06:14 2007 +0200
     1.2 +++ b/src/Pure/Isar/instance.ML	Tue Sep 25 17:06:18 2007 +0200
     1.3 @@ -17,11 +17,11 @@
     1.4  structure Instance : INSTANCE =
     1.5  struct
     1.6  
     1.7 -structure Instantiation = ProofDataFun(
     1.8 -struct
     1.9 +structure Instantiation = ProofDataFun
    1.10 +(
    1.11    type T = ((string * (string * sort) list) * sort) list * ((string * typ) * string) list;
    1.12    fun init _ = ([], []);
    1.13 -end);
    1.14 +);
    1.15  
    1.16  local
    1.17