src/HOL/Data_Structures/Define_Time_Function.ML
Thu, 06 Feb 2025 14:46:49 +0100 nipkow added time_partial_function command
Sat, 30 Nov 2024 22:33:21 +0100 wenzelm clarified signature;
Thu, 07 Nov 2024 16:21:57 +0100 nipkow better termination behaviour
Thu, 31 Oct 2024 15:46:33 +0100 nipkow better time_functions (let)
Fri, 25 Oct 2024 16:57:17 +0200 nipkow time_fun: lambdas and lets work now
Sat, 12 Oct 2024 12:45:29 +0900 nipkow new HO time functions
Wed, 21 Aug 2024 20:40:59 +0200 nipkow new version of time_fun that works for classes; define T_length automatically now
less more (0) -10 -7 tip