Return-Path: Delivery-Date: Received: from leopard.cs.byu.edu (no rfc931) by swan.cl.cam.ac.uk with SMTP (PP-6.5) outside ac.uk; Sun, 19 Mar 1995 02:11:38 +0000 Received: by leopard.cs.byu.edu (1.37.109.15/16.2) id AA237917709; Sat, 18 Mar 1995 18:48:29 -0700 Sender: info-hol-request@lal.cs.byu.edu Errors-To: info-hol-request@lal.cs.byu.edu Precedence: list Received: from gateway.sctc.com by leopard.cs.byu.edu with ESMTP (1.37.109.15/16.2) id AA237787587; Sat, 18 Mar 1995 18:46:27 -0700 Received: from sccmailhost.sctc.com (sccmailhost.sctc.com [192.55.214.100]) by gateway.sctc.com (8.6.9/8.6.9) with SMTP id TAA00089 for ; Sat, 18 Mar 1995 19:43:35 -0600 Received: from sccmailhost.sctc.com by sccmailhost.sctc.com id 110980000; 18 Mar 95 16:45 CST Received: from sctc.com by sccmailhost.sctc.com id 098440000; 18 Mar 95 16:45 CST Received: from arcadia.sctc.com (arcadia.sctc.com [172.17.192.112]) by spirit.sctc.com (8.6.9/8.6.9) with ESMTP id QAA08702 for ; Sat, 18 Mar 1995 16:44:56 -0600 Received: (from coe@localhost) by arcadia.sctc.com (8.6.9/8.6.9) id QAA08322; Sat, 18 Mar 1995 16:44:51 -0600 Date: Sat, 18 Mar 1995 16:44:51 -0600 From: Mike Coe Message-Id: <199503182244.QAA08322@arcadia.sctc.com> To: info-hol@leopard.cs.byu.edu Subject: HOL sets Organization: Secure Computing Corp. X-Zippy: I'm gliding over a NUCLEAR WASTE DUMP near ATLANTA, Georgia!! Hello, let's say I have a set of sets A = { {2,3,4} , {1,5,7} .....} what I want is a function that will return the union all of the sets in the set A. that is given a set A = { {set a } , {set b}, {set c} ...} flat_ran A = {set a} U {set b} U {set b} U {set c} ... can anyone help me out .... thanks mike coe@sctc.com