src/HOLCF/IOA/meta_theory/Pred.thy
changeset 14565 c6dc17aab88a
parent 12338 de0f4a63baa5
child 14981 e73f8140af78
     1.1 --- a/src/HOLCF/IOA/meta_theory/Pred.thy	Wed Apr 14 13:28:46 2004 +0200
     1.2 +++ b/src/HOLCF/IOA/meta_theory/Pred.thy	Wed Apr 14 14:13:05 2004 +0200
     1.3 @@ -42,6 +42,8 @@
     1.4  
     1.5  syntax (HTML output)
     1.6    "NOT"    ::"'a predicate => 'a predicate" ("\\<not> _" [40] 40)
     1.7 +  "AND"    ::"'a predicate => 'a predicate => 'a predicate"    (infixr "\\<and>" 35)
     1.8 +  "OR"     ::"'a predicate => 'a predicate => 'a predicate"    (infixr "\\<or>" 30)
     1.9  
    1.10  
    1.11  defs