equal
deleted
inserted
replaced
3 {- Title: Tools/Haskell/Term_XML/Decode.hs |
3 {- Title: Tools/Haskell/Term_XML/Decode.hs |
4 Author: Makarius |
4 Author: Makarius |
5 LICENSE: BSD 3-clause (Isabelle) |
5 LICENSE: BSD 3-clause (Isabelle) |
6 |
6 |
7 XML data representation of lambda terms. |
7 XML data representation of lambda terms. |
|
8 |
|
9 See also "$ISABELLE_HOME/src/Pure/term_xml.ML". |
8 -} |
10 -} |
9 |
11 |
10 module Isabelle.Term_XML.Decode (sort, typ, term) |
12 module Isabelle.Term_XML.Decode (sort, typ, term) |
11 where |
13 where |
12 |
14 |