equal
deleted
inserted
replaced
117 "_liftOr" == "_lift2 (\<or>)" |
117 "_liftOr" == "_lift2 (\<or>)" |
118 "_liftImp" == "_lift2 (\<longrightarrow>)" |
118 "_liftImp" == "_lift2 (\<longrightarrow>)" |
119 "_liftIf" == "_lift3 (CONST If)" |
119 "_liftIf" == "_lift3 (CONST If)" |
120 "_liftPlus" == "_lift2 (+)" |
120 "_liftPlus" == "_lift2 (+)" |
121 "_liftMinus" == "_lift2 (-)" |
121 "_liftMinus" == "_lift2 (-)" |
122 "_liftTimes" == "_lift2 (( * ))" |
122 "_liftTimes" == "_lift2 ((*))" |
123 "_liftDiv" == "_lift2 (div)" |
123 "_liftDiv" == "_lift2 (div)" |
124 "_liftMod" == "_lift2 (mod)" |
124 "_liftMod" == "_lift2 (mod)" |
125 "_liftLess" == "_lift2 (<)" |
125 "_liftLess" == "_lift2 (<)" |
126 "_liftLeq" == "_lift2 (\<le>)" |
126 "_liftLeq" == "_lift2 (\<le>)" |
127 "_liftMem" == "_lift2 (\<in>)" |
127 "_liftMem" == "_lift2 (\<in>)" |