Suitable mechanism for Theorems and Definitions

[David Antos <xantos@informatics.muni.cz>]

	Hello,

I've used enumeration features for typesetting Theorems, Lemmas, and
Definitions. Two extra requirements appeared. Is this possible to create
lists of those entities (something like \placelistofTheorems :-)?

And is there a way to add names to them, resulting in something like

Definition 4.3: Interval Decision Diagram Node
blahblah

Or is there a more suitable way to do this (taking into account that I
prefer numbering Theorems, Lemmas, and Definitions in a single number
line)? "You have to program it yourself on top of enumeration" is of course
a valid answer, I just don't want to do something that is built in :-))))

Thanks,
D.A.

-- 
DCT itself provides a lossless compression and actually doesn't
compress anything.
-- Miloš Liška