src/HOL/Tools/Function/function_common.ML
Wed, 13 Nov 2024 23:10:58 +0100 nipkow added field input_eqns to record the list of equations (the specification)
Wed, 20 Oct 2021 18:13:17 +0200 wenzelm discontinued obsolete "val extend = I" for data slots;
Thu, 28 Nov 2019 18:13:23 +0100 wenzelm more structural integrity;
Tue, 04 Jun 2019 20:49:33 +0200 wenzelm tuned;
Mon, 03 Jun 2019 23:29:05 +0200 wenzelm tuned;
Mon, 19 Feb 2018 14:49:11 +0100 wenzelm tuned signature;
Sun, 18 Feb 2018 17:57:14 +0100 wenzelm more explicit instantiate_morphism (without checks for typ / term component);
less more (0) -30 -10 -7 tip