tuned;
authorwenzelm
Tue Jul 12 23:20:34 2011 +0200 (2011-07-12)
changeset 43789321ebd051897
parent 43788 e84239a47f32
child 43790 9bd8d4addd6e
tuned;
src/Pure/term_xml.ML
     1.1 --- a/src/Pure/term_xml.ML	Tue Jul 12 20:53:14 2011 +0200
     1.2 +++ b/src/Pure/term_xml.ML	Tue Jul 12 23:20:34 2011 +0200
     1.3 @@ -29,7 +29,7 @@
     1.4  val sort = list string;
     1.5  
     1.6  fun typ T = T |> variant
     1.7 - [fn Type (a, b) => ([a], (list typ) b),
     1.8 + [fn Type (a, b) => ([a], list typ b),
     1.9    fn TFree (a, b) => ([a], sort b),
    1.10    fn TVar ((a, b), c) => ([a, int_atom b], sort c)];
    1.11  
    1.12 @@ -39,7 +39,7 @@
    1.13    fn Var ((a, b), c) => ([a, int_atom b], typ c),
    1.14    fn Bound a => ([int_atom a], []),
    1.15    fn Abs (a, b, c) => ([a], pair typ term (b, c)),
    1.16 -  fn a $ b => ([], pair term term (a, b))];
    1.17 +  fn op $ a => ([], pair term term a)];
    1.18  
    1.19  end;
    1.20