Revision of theories