changeset 51 | 934a58983311 |
parent 38 | 7ef6ba42914b |
--- a/llist.thy Thu Mar 17 14:08:08 1994 +0100 +++ b/llist.thy Thu Mar 17 17:02:49 1994 +0100 @@ -24,8 +24,13 @@ *) LList = Gfp + List + -types llist 1 -arities llist :: (term)term + +types + 'a llist + +arities + llist :: (term)term + consts LList :: "'a node set set => 'a node set set" LListD_Fun ::