equal
deleted
inserted
replaced
55 consts |
55 consts |
56 True :: bool |
56 True :: bool |
57 False :: bool |
57 False :: bool |
58 Not :: "bool => bool" ("~ _" [40] 40) |
58 Not :: "bool => bool" ("~ _" [40] 40) |
59 |
59 |
60 global consts |
60 setup Sign.root_path |
|
61 |
|
62 consts |
61 "op &" :: "[bool, bool] => bool" (infixr "&" 35) |
63 "op &" :: "[bool, bool] => bool" (infixr "&" 35) |
62 "op |" :: "[bool, bool] => bool" (infixr "|" 30) |
64 "op |" :: "[bool, bool] => bool" (infixr "|" 30) |
63 "op -->" :: "[bool, bool] => bool" (infixr "-->" 25) |
65 "op -->" :: "[bool, bool] => bool" (infixr "-->" 25) |
64 |
66 |
65 "op =" :: "['a, 'a] => bool" (infixl "=" 50) |
67 "op =" :: "['a, 'a] => bool" (infixl "=" 50) |
66 |
68 |
67 local consts |
69 setup Sign.local_path |
|
70 |
|
71 consts |
68 The :: "('a => bool) => 'a" |
72 The :: "('a => bool) => 'a" |
69 All :: "('a => bool) => bool" (binder "ALL " 10) |
73 All :: "('a => bool) => bool" (binder "ALL " 10) |
70 Ex :: "('a => bool) => bool" (binder "EX " 10) |
74 Ex :: "('a => bool) => bool" (binder "EX " 10) |
71 Ex1 :: "('a => bool) => bool" (binder "EX! " 10) |
75 Ex1 :: "('a => bool) => bool" (binder "EX! " 10) |
72 |
76 |