Removed from_* files

They are already almost empty and not so useful.
Added is_set()