top: THEORY %------------------------------------------------------------------------ % % Power sets % % by Bruno Dutertre Royal Holloway & Bedford New College % % Version 1.0 last modified 9/10/96 % % Includes: % % power_sets -- Defines power_set, establishes some % finiteness and cardinality properties % set_of_functions -- number of functions from finite set A to % finite set B % %------------------------------------------------------------------------ BEGIN IMPORTING power_sets, set_of_functions END top