src/Doc/Implementation/Integration.thy
Sun, 01 Jun 2025 17:06:33 +0200 wenzelm obsolete (see 22d65e375c01);
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, 13 Jul 2020 17:08:45 +0200 wenzelm clarified examples;
Sat, 05 Jan 2019 17:24:33 +0100 wenzelm isabelle update -u control_cartouches;
Fri, 12 Aug 2016 17:53:55 +0200 wenzelm more symbols;
Fri, 12 Aug 2016 11:54:36 +0200 wenzelm liberal name as in document antiquotations;
less more (0) -10 -7 tip