src/Doc/Implementation/Eq.thy
Sun, 15 Jan 2023 18:30:18 +0100 wenzelm isabelle update -u cite;
Sat, 22 May 2021 21:52:13 +0200 wenzelm clarified names;
Mon, 19 Apr 2021 21:57:52 +0200 wenzelm more documentation on "Conversions";
less more (0) -10 -3 tip