author | haftmann |
Fri, 27 Aug 2010 19:34:23 +0200 | |
changeset 38857 | 97775f3e8722 |
parent 35787 | afdf1c4958b2 |
child 41080 | 294956ff285b |
permissions | -rw-r--r-- |
(* Author: Florian Haftmann, TU Muenchen *) header {* Pretty syntax for lattice operations *} theory Lattice_Syntax imports Complete_Lattice begin notation top ("\<top>") and bot ("\<bottom>") and inf (infixl "\<sqinter>" 70) and sup (infixl "\<squnion>" 65) and Inf ("\<Sqinter>_" [900] 900) and Sup ("\<Squnion>_" [900] 900) end