Skip to content
Success

Changes

Summary

  1. less ambitious parallelism to make this work more robustly on Windows;
Changeset 65907:637d18b325d0 by wenzelm:
less ambitious parallelism to make this work more robustly on Windows;
The file was modified src/HOL/Nitpick_Examples/Mini_Nits.thy (diff)