tuned attributes to avoid looping
Description
Description
Details
Details
- Provenance
nipkow Authored on - Parents
- rISABELLE6e1fad4f602b: added eq_iff_swap for creating symmetric variants of thms; applied it in List.
- Branches
- Unknown
- Tags
tuned attributes to avoid looping Tags None Subscribers None |