Changes

Summary

slightly generalized card_lists_distinct_length_eq; renamed specialized card_lists_distinct_length_eq to card_lists_distinct_length_eq'; tuned

Changeset 66358:fab9a53158f8 by bulwahn: slightly generalized card_lists_distinct_length_eq; renamed specialized card_lists_distinct_length_eq to card_lists_distinct_length_eq'; tuned
The file was modified	`src/HOL/List.thy` (diff)