src/Tools/induct.ML
Wed, 20 Oct 2021 18:13:17 +0200 wenzelm discontinued obsolete "val extend = I" for data slots;
Sat, 16 Oct 2021 21:20:15 +0200 wenzelm clarified context;
Sat, 11 Sep 2021 22:07:43 +0200 wenzelm more antiquotations;
Fri, 10 Sep 2021 14:59:19 +0200 wenzelm clarified signature: more scalable operations;
Tue, 13 Aug 2019 10:27:21 +0200 wenzelm clarified modules;
Fri, 04 Jan 2019 23:22:53 +0100 wenzelm isabelle update -u control_cartouches;
Thu, 03 Jan 2019 22:19:19 +0100 wenzelm isabelle update_inner_syntax_cartouches;
less more (0) -100 -30 -10 -7 tip