src/HOL/Data_Structures/Define_Time_Function.thy
Thu, 06 Feb 2025 14:46:49 +0100 nipkow added time_partial_function command
less more (0) -1 tip