src/HOL/Eisbach/Example_Metric.thy
Sun, 27 Oct 2019 20:55:58 -0400 immler header with Title/Author; added note on motivation of this example
Sun, 27 Oct 2019 20:53:10 -0400 immler a slower implementation of the "metric" method as Eisbach example, by Maximilian Schäffeler
less more (0) tip