tuned (some HOL lints, by Yecine Megdiche);
Description
Description
Details
Details
- Provenance
Fabian Huch <huch@in.tum.de> Authored on - Parents
- rISABELLEb87b14e885af: moved lemma fromm AFP
- Branches
- Unknown
- Tags
tuned (some HOL lints, by Yecine Megdiche);
Description tuned (some HOL lints, by Yecine Megdiche);
Details
Event TimelineFabian Huch <huch@in.tum.de> committed rISABELLE43f5dfb7fa35: tuned (some HOL lints, by Yecine Megdiche);.Jul 22 2022, 2:39 PM2022-07-22 14:39:56 (UTC+2) |