| changeset 12338 | de0f4a63baa5 |
| parent 12114 | a8e860c86252 |
| child 14981 | e73f8140af78 |
--- a/src/HOLCF/Porder.thy Sat Dec 01 18:51:46 2001 +0100 +++ b/src/HOLCF/Porder.thy Sat Dec 01 18:52:32 2001 +0100 @@ -18,8 +18,7 @@ finite_chain :: "(nat=>'a::po)=>bool" syntax - - "@LUB" :: "(('b::term) => 'a) => 'a" (binder "LUB " 10) + "@LUB" :: "('b => 'a) => 'a" (binder "LUB " 10) translations