changed case symbol to \<Rightarrow>;
authorwenzelm
Fri Jan 24 17:12:28 1997 +0100 (1997-01-24)
changeset 2552470bc495373e
parent 2551 fe15e3fcccf0
child 2553 ed941505cab7
changed case symbol to \<Rightarrow>;
src/HOL/HOL.thy
     1.1 --- a/src/HOL/HOL.thy	Thu Jan 23 18:16:12 1997 +0100
     1.2 +++ b/src/HOL/HOL.thy	Fri Jan 24 17:12:28 1997 +0100
     1.3 @@ -123,7 +123,7 @@
     1.4    "! "          :: [idts, bool] => bool             ("(3\\<forall>_./ _)" [0, 10] 10)
     1.5    "? "          :: [idts, bool] => bool             ("(3\\<exists>_./ _)" [0, 10] 10)
     1.6    "?! "         :: [idts, bool] => bool             ("(3\\<exists>!_./ _)" [0, 10] 10)
     1.7 -  "@case1"      :: ['a, 'b] => case_syn             ("(2_ \\<mapsto>/ _)" 10)
     1.8 +  "@case1"      :: ['a, 'b] => case_syn             ("(2_ \\<Rightarrow>/ _)" 10)
     1.9  
    1.10  syntax (symbols output)
    1.11    "*All"        :: [idts, bool] => bool             ("(3\\<forall>_./ _)" [0, 10] 10)