The next version of the Module List will list the following module: modid: Set::Infinite DSLIP: bdpO? description: Set Theory module for infinite sets userid: FGLOCK (Flavio Soibelmann Glock) chapterid: 6 (Data_Type_Utilities) enteredby: ANDK (Andreas J. König) enteredon: Sat May 12 09:42:10 2001 GMT The resulting entry will be: Set:: ::Infinite bdpO? Set Theory module for infinite sets FGLOCK Please allow a few days until the entry will appear in the published module list. Parts of the data listed above can be edited interactively on the PAUSE. See https://pause.kbx.de/pause/authenquery?ACTION=edit_mod Thanks for registering, The Pause Team