-
Sylvain Dailler authored
Checksum of theories were computed on all subgoals of a theory instead of using only immediate subgoals. Proofattempt are now unset from obsolete after mergingh if old_th and new_th checksums are the same and no detached goals were found.
d08458c4