src/HOL/Prolog/Func.thy
changeset 20713 823967ef47f1
parent 17311 5b1d47d920ce
child 21425 c11ab38b78a7
     1.1 --- a/src/HOL/Prolog/Func.thy	Tue Sep 26 13:34:15 2006 +0200
     1.2 +++ b/src/HOL/Prolog/Func.thy	Tue Sep 26 13:34:16 2006 +0200
     1.3 @@ -23,7 +23,7 @@
     1.4    "and"   :: "tm => tm => tm"       (infixr 999)
     1.5    "eq"    :: "tm => tm => tm"       (infixr 999)
     1.6  
     1.7 -  "0"     :: tm                   ("Z")
     1.8 +  Z       :: tm                     ("Z")
     1.9    S       :: "tm => tm"
    1.10  (*
    1.11          "++", "--",